Fix is_module check in type_check_delineated_path

FuelLabs · Jan 10, 2025 · bbf99af · bbf99af
1 parent 22f79d7
commit bbf99af
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/sway-core/src/semantic_analysis/ast_node/expression/typed_expression.rs b/sway-core/src/semantic_analysis/ast_node/expression/typed_expression.rs
@@ -1575,23 +1575,23 @@ impl ty::TyExpression {
             .qualified_path_root
             .is_none()
         {
-            // Check if this could be a module
-            // TODO: This is no longer correct - an absolute path to an external module can no
-            // longer be looked up as a submodule of the current module
+            // Check if this could be a submodule of the current module or an external module
             is_module = {
                 let call_path_binding = unknown_call_path_binding.clone();
+		let lookup_path = [
+                            call_path_binding.inner.call_path.prefixes.clone(),
+                            vec![call_path_binding.inner.call_path.suffix.clone()],
+                        ].concat();
                 ctx.namespace().current_module().read(ctx.engines(), |m| {
                     m.lookup_submodule(
                         &module_probe_handler,
-                        &[
-                            call_path_binding.inner.call_path.prefixes.clone(),
-                            vec![call_path_binding.inner.call_path.suffix.clone()],
-                        ]
-                        .concat(),
+                        &lookup_path,
                     )
                     .ok()
                     .is_some()
                 })
+		    ||
+		    ctx.namespace().module_from_absolute_path(&lookup_path).is_some()
             };
 
             // Check if this could be a function