fix: Methods called after being passed through a generic type were no…

…t being detected (#1785)

* add follow-bindings method

* add regression test

* delete contents of Prover.toml

* chain call onto check_expression

* use underscore

crates/nargo_cli/tests/test_data_ssa_refactor/regression_method_cannot_be_found/Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

crates/nargo_cli/tests/test_data_ssa_refactor/regression_method_cannot_be_found/Prover.toml

@@ -0,0 +1 @@
+

crates/nargo_cli/tests/test_data_ssa_refactor/regression_method_cannot_be_found/src/main.nr

@@ -0,0 +1,23 @@
+use dep::std;
+struct Item {
+    id: Field,
+}
+
+impl Item {
+    fn log(self) {
+        let id = self.id;
+        std::println(id);
+    }
+}
+
+fn create<V>(something: V) -> V {
+    something
+}
+
+fn main() {
+    let a = Item { id: 1 };
+    let b = create(a);
+    let _id = b.id; 
+    // Regression for:  cannot find this method
+    b.log();
+}

crates/noirc_frontend/src/hir/type_check/expr.rs

@@ -113,7 +113,7 @@ impl<'interner> TypeChecker<'interner> {
                 self.bind_function_type(function, args, span)
             }
             HirExpression::MethodCall(method_call) => {
-                let object_type = self.check_expression(&method_call.object);
+                let object_type = self.check_expression(&method_call.object).follow_bindings();
                 let method_name = method_call.method.0.contents.as_str();
                 match self.lookup_method(object_type.clone(), method_name, expr_id) {
                     Some(method_id) => {