Fix issue where compiler doesn't reject method call on storage struct

(cherry picked from commit 2a1cd2aa974570ec86314700ec09feba26d0f6b6)

crates/analyzer/src/traversal/expressions.rs

@@ -1654,10 +1654,9 @@ fn expr_call_method(
                     method: *method,
                     generic_type: inner,
                 },
-                ty => {
+                _ => {
                     let method = method.function(context.db()).unwrap();
-
-                    if let Type::SPtr(inner) = ty {
+                    if let Type::SPtr(inner) = target_attributes.typ.typ(context.db()) {
                         if matches!(
                             inner.typ(context.db()),
                             Type::Struct(_) | Type::Tuple(_) | Type::Array(_)

crates/analyzer/tests/errors.rs

@@ -319,6 +319,8 @@ test_file! { init_call_on_external_contract }
 test_file! { call_wrong_return_type }
 test_file! { call_duplicate_def }
 test_file! { call_call_on_self }
+
+test_file! { call_method_in_storage }
 test_file! { call_call_on_external_contract }
 test_file! { call_with_pub_fns }
 test_file! { abi_encode_u256 }

crates/analyzer/tests/snapshots/errors__call_method_in_storage.snap

@@ -0,0 +1,14 @@
+---
+source: crates/analyzer/tests/errors.rs
+assertion_line: 323
+expression: "error_string(&path, test_files::fixture(path))"
+---
+error: struct functions can only be called on struct in memory
+   ┌─ compile_errors/call_method_in_storage.fe:16:9
+   │
+16 │         self.bar.get_x()
+   │         ^^^^^^^^ ----- hint: copy the struct to memory with `.to_mem()`
+   │         │         
+   │         this value is in storage
+
+

crates/test-files/fixtures/compile_errors/call_method_in_storage.fe

@@ -0,0 +1,18 @@
+struct Bar {
+    pub x: u256
+
+    pub fn get_x(self) -> u256{
+        return self.x
+    }
+}
+
+contract Foo {
+    bar: Bar
+
+    pub fn __init__(mut self) {
+        self.bar = Bar( x: 2 )
+    }
+    fn yay(self) {
+        self.bar.get_x()
+    }
+}

newsfragments/881.bugfix.md

@@ -0,0 +1,26 @@
+Fixed a regression where the compiler would not reject a method call on a struct in storage.
+
+E.g. the follwing code should be rejected as it is missing a `to_mem()` call:
+
+```
+struct Bar {
+    pub x: u256
+
+    pub fn get_x(self) -> u256{
+        return self.x
+    }
+}
+
+contract Foo {
+    bar: Bar
+
+    pub fn __init__(mut self) {
+        self.bar = Bar( x: 2 )
+    }
+    fn yay(self) {
+        self.bar.get_x()
+    }
+}
+```
+
+The compiler will now reject the code and suggest a `to_mem()` before calling`get_x()`.