Address PR feedback

crates/analyzer/src/traversal/expressions.rs

@@ -979,7 +979,7 @@ fn expr_call_path<T: std::fmt::Display>(
     generic_args: &Option<Node<Vec<fe::GenericArg>>>,
     args: &Node<Vec<Node<fe::CallArg>>>,
 ) -> Result<(ExpressionAttributes, CallType), FatalError> {
-    match context.resolve_any_path(path) {
+    match context.resolve_visible_path(path) {
         Some(named_thing) => {
             check_visibility(context, &named_thing, func.span);
             validate_has_no_conflicting_trait_in_scope(context, &named_thing, path, func)?;
@@ -1107,6 +1107,10 @@ fn expr_call_trait_associated_function<T: std::fmt::Display>(
         }
     }
 
+    // At this point, we will have an error so we run `resolve_path` to register any errors that we
+    // did not report yet
+    context.resolve_path(path, func.span)?;
+
     Err(FatalError::new(context.error(
         "unresolved path item",
         func.span,

crates/analyzer/tests/snapshots/errors__bad_ingot.snap

@@ -94,10 +94,10 @@ error: the struct `Foo` is private
   = `Foo` can only be used within `foo`
   = Hint: use `pub` to make `Foo` visible from outside of `foo`
 
-error: incorrect type for `Foo` argument `my_num`
-  ┌─ compile_errors/bad_ingot/src/main.fe:8:33
+error: unresolved path item
+  ┌─ compile_errors/bad_ingot/src/main.fe:8:16
   │
 8 │         return foo::Foo(my_num: true)
-  │                                 ^^^^ this has type `bool`; expected type `u256`
+  │                ^^^^^^^^ not found
 
 

crates/test-files/fixtures/ingots/trait_no_ambiguity/src/foo.fe

@@ -0,0 +1,5 @@
+pub struct MyS {
+    fn x() -> u256 {
+        return 10
+    }
+}

crates/test-files/fixtures/ingots/trait_no_ambiguity/src/main.fe

@@ -0,0 +1,17 @@
+use foo::MyS
+
+trait Trait {
+    fn x() -> u256;
+}
+
+impl Trait for MyS {
+    fn x() -> u256 {
+        return 10
+    }
+}
+
+contract Foo {
+    pub fn main() -> u256 {
+        return MyS::x()
+    }
+}

crates/tests/src/ingots.rs

@@ -23,6 +23,13 @@ fn test_ingot_with_visibility() {
     })
 }
 
+#[test]
+fn test_trait_no_ambiguity() {
+    with_executor(&|mut executor| {
+        let _harness = deploy_ingot(&mut executor, "trait_no_ambiguity", "Foo", &[]);
+    })
+}
+
 #[test]
 fn test_ingot_pub_contract() {
     with_executor(&|mut executor| {