fe-lang
diff --git a/‎crates/hir/src/analysis/name_resolution/visibility_checker.rs‎
Lines changed: 6 additions & 4 deletions b/‎crates/hir/src/analysis/name_resolution/visibility_checker.rs‎
Lines changed: 6 additions & 4 deletions
diff --git a/‎crates/parser/src/parser/item.rs‎
Lines changed: 4 additions & 2 deletions b/‎crates/parser/src/parser/item.rs‎
Lines changed: 4 additions & 2 deletions
@@ -66,10 +66,12 @@ pub fn is_scope_visible_from(db: &dyn HirAnalysisDb, scope: ScopeId, from_scope:
             let Some(def_scope) = def_scope_for_vis(db, scope) else {
                 return false;
             };
-            let Some(parent_of_def) = def_scope.parent(db) else {
-                return false;
-            };
-            from_scope.is_transitive_child_of(db, parent_of_def)
+            match def_scope.parent(db) {
+                Some(parent_of_def) => from_scope.is_transitive_child_of(db, parent_of_def),
+                // At the ingot root, pub(super) behaves like pub(ingot)
+                // (matches Rust where pub(super) at crate root = pub(crate)).
+                None => scope.ingot(db) == from_scope.ingot(db),
+            }
         }
 
         Visibility::Private => {
 
@@ -200,9 +200,11 @@ pub(super) fn parse_vis_restriction<S: TokenStream>(parser: &mut Parser<S>) -> P
             ParsedVis::PubSuper
         }
         Some(SyntaxKind::InKw) => {
+            parser.error_msg_on_current_token(
+                "`pub(in path)` is not yet supported; use `pub(ingot)` or `pub(super)`",
+            );
             parser.bump();
-            // Parse the module path after `in`.
-            // Reuse the use-path parser for `foo::bar::baz` style paths.
+            // Parse the module path so the CST is well-formed for future use.
             let _ = parser.parse(UsePathScope::default());
             ParsedVis::PubIn
         }
Original file line number	Diff line number	Diff line change
`@@ -200,9 +200,11 @@ pub(super) fn parse_vis_restriction<S: TokenStream>(parser: &mut Parser<S>) -> P`
`200`	`200`	`ParsedVis::PubSuper`
`201`	`201`	`}`
`202`	`202`	`Some(SyntaxKind::InKw) => {`
	`203`	`+ parser.error_msg_on_current_token(`
	`204`	+ "`pub(in path)` is not yet supported; use `pub(ingot)` or `pub(super)`",
	`205`	`+ );`
`203`	`206`	`parser.bump();`
`204`		- // Parse the module path after `in`.
`205`		- // Reuse the use-path parser for `foo::bar::baz` style paths.
	`207`	`+ // Parse the module path so the CST is well-formed for future use.`
`206`	`208`	`let _ = parser.parse(UsePathScope::default());`
`207`	`209`	`ParsedVis::PubIn`
`208`	`210`	`}`