starkware-libs
diff --git a/‎crates/cairo-lang-semantic/src/path.rs‎
Lines changed: 4 additions & 0 deletions b/‎crates/cairo-lang-semantic/src/path.rs‎
Lines changed: 4 additions & 0 deletions
diff --git a/‎crates/cairo-lang-semantic/src/path_test_data/tests‎
Lines changed: 42 additions & 0 deletions b/‎crates/cairo-lang-semantic/src/path_test_data/tests‎
Lines changed: 42 additions & 0 deletions
@@ -145,6 +145,10 @@ fn get_contextualized_path<'db>(
     }
 
     if owning_crate == context_module.owning_crate(db) {
+        // Removing the crate name for the provided path, as `crate::` prefix already denotes the
+        // crate root.
+        let mut path_items = path_items;
+        path_items.pop();
         return Ok(ItemAccessInfo::new(ItemAccessKind::ViaCrate, path_items, item_name));
     }
 
 
@@ -1,3 +1,45 @@
+//! > Path via crate does not double-encode the crate name.
+
+//! > test_runner_name
+test_path_diagnostics(expect_diagnostics: true)
+
+//! > crate_settings
+edition = "2024_07"
+
+//! > module_code
+mod provider1 {
+    pub trait T {
+        fn foo(self: @felt252);
+    }
+    impl I of T {
+        fn foo(self: @felt252) {}
+    }
+}
+mod provider2 {
+    pub trait T {
+        fn foo(self: @felt252);
+    }
+    impl I of T {
+        fn foo(self: @felt252) {}
+    }
+}
+mod caller {
+    use crate::provider1::*;
+    use crate::provider2::*;
+    fn go() {
+        let x = 1_felt252;
+        x.foo();
+    }
+}
+
+//! > expected_diagnostics
+error[E2046]: Ambiguous method call. More than one applicable trait function with a suitable self type was found: crate::provider1::T::foo and crate::provider2::T::foo. Consider adding type annotations or explicitly refer to the impl function.
+ --> lib.cairo:22:11
+        x.foo();
+          ^^^
+
+//! > ==========================================================================
+
 //! > Ambiguous trait function via glob use
 
 //! > test_runner_name
Original file line number	Diff line number	Diff line change
`@@ -145,6 +145,10 @@ fn get_contextualized_path<'db>(`
`145`	`145`	`}`
`146`	`146`
`147`	`147`	`if owning_crate == context_module.owning_crate(db) {`
	`148`	+ // Removing the crate name for the provided path, as `crate::` prefix already denotes the
	`149`	`+ // crate root.`
	`150`	`+ let mut path_items = path_items;`
	`151`	`+ path_items.pop();`
`148`	`152`	`return Ok(ItemAccessInfo::new(ItemAccessKind::ViaCrate, path_items, item_name));`
`149`	`153`	`}`
`150`	`154`