add transparent attribute for mod items

yaahc · yaahc · commit 27ba29067dfc · 2026-01-07T15:42:36.000-08:00
diff --git a/compiler/rustc_attr_parsing/src/attributes/mod.rs b/compiler/rustc_attr_parsing/src/attributes/mod.rs
@@ -47,6 +47,7 @@ pub(crate) mod link_attrs;
 pub(crate) mod lint_helpers;
 pub(crate) mod loop_match;
 pub(crate) mod macro_attrs;
+pub(crate) mod modules;
 pub(crate) mod must_use;
 pub(crate) mod no_implicit_prelude;
 pub(crate) mod no_link;
diff --git a/compiler/rustc_attr_parsing/src/attributes/modules.rs b/compiler/rustc_attr_parsing/src/attributes/modules.rs
@@ -0,0 +1,9 @@
+use super::prelude::*;
+
+pub(crate) struct TransparentParser;
+impl<S: Stage> NoArgsAttributeParser<S> for TransparentParser {
+    const PATH: &[Symbol] = &[sym::transparent];
+    const ON_DUPLICATE: OnDuplicate<S> = OnDuplicate::Error;
+    const ALLOWED_TARGETS: AllowedTargets = AllowedTargets::AllowList(&[Allow(Target::Mod)]);
+    const CREATE: fn(Span) -> AttributeKind = AttributeKind::Transparent;
+}
diff --git a/compiler/rustc_attr_parsing/src/context.rs b/compiler/rustc_attr_parsing/src/context.rs
@@ -50,6 +50,7 @@ use crate::attributes::loop_match::{ConstContinueParser, LoopMatchParser};
 use crate::attributes::macro_attrs::{
     AllowInternalUnsafeParser, MacroEscapeParser, MacroExportParser, MacroUseParser,
 };
+use crate::attributes::modules::TransparentParser;
 use crate::attributes::must_use::MustUseParser;
 use crate::attributes::no_implicit_prelude::NoImplicitPreludeParser;
 use crate::attributes::no_link::NoLinkParser;
@@ -277,6 +278,7 @@ attribute_parsers!(
         Single<WithoutArgs<StdInternalSymbolParser>>,
         Single<WithoutArgs<ThreadLocalParser>>,
         Single<WithoutArgs<TrackCallerParser>>,
+        Single<WithoutArgs<TransparentParser>>,
         Single<WithoutArgs<TypeConstParser>>,
         Single<WithoutArgs<UnsafeSpecializationMarkerParser>>,
         // tidy-alphabetical-end
diff --git a/compiler/rustc_feature/src/builtin_attrs.rs b/compiler/rustc_feature/src/builtin_attrs.rs
@@ -917,6 +917,12 @@ pub static BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
         EncodeCrossCrate::Yes, pin_ergonomics, experimental!(pin_v2),
     ),
 
+    gated!(
+        transparent, Normal,
+        template!(Word, "https://github.com/rust-lang/rust/issues/79260#issuecomment-731773625"),
+        ErrorFollowing, EncodeCrossCrate::No, transparent_modules, experimental!(transparent)
+    ),
+
     // ==========================================================================
     // Internal attributes: Stability, deprecation, and unsafe:
     // ==========================================================================
diff --git a/compiler/rustc_feature/src/unstable.rs b/compiler/rustc_feature/src/unstable.rs
@@ -660,6 +660,8 @@ declare_features! (
     (unstable, trait_alias, "1.24.0", Some(41517)),
     /// Allows for transmuting between arrays with sizes that contain generic consts.
     (unstable, transmute_generic_consts, "1.70.0", Some(109929)),
+    /// Allows #[transparent] on modules to inherit lexical scopes.
+    (unstable, transparent_modules, "1.91.0", Some(79260)),
     /// Allows #[repr(transparent)] on unions (RFC 2645).
     (unstable, transparent_unions, "1.37.0", Some(60405)),
     /// Allows inconsistent bounds in where clauses.
diff --git a/compiler/rustc_hir/src/attrs/data_structures.rs b/compiler/rustc_hir/src/attrs/data_structures.rs
@@ -964,6 +964,9 @@ pub enum AttributeKind {
     /// Represents `#[track_caller]`
     TrackCaller(Span),
 
+    /// Represents `#[transparent]` mod attribute
+    Transparent(Span),
+
     /// Represents `#[type_const]`.
     TypeConst(Span),
 
diff --git a/compiler/rustc_hir/src/attrs/encode_cross_crate.rs b/compiler/rustc_hir/src/attrs/encode_cross_crate.rs
@@ -121,6 +121,7 @@ impl AttributeKind {
             TargetFeature { .. } => No,
             ThreadLocal => No,
             TrackCaller(..) => Yes,
+            Transparent(..) => No,
             TypeConst(..) => Yes,
             TypeLengthLimit { .. } => No,
             UnsafeSpecializationMarker(..) => No,
diff --git a/compiler/rustc_passes/src/check_attr.rs b/compiler/rustc_passes/src/check_attr.rs
@@ -230,6 +230,7 @@ impl<'tcx> CheckAttrVisitor<'tcx> {
                     | AttributeKind::ConstStabilityIndirect
                     | AttributeKind::MacroTransparency(_)
                     | AttributeKind::CfgTrace(..)
+                    | AttributeKind::Transparent(_)
                     | AttributeKind::Pointee(..)
                     | AttributeKind::Dummy
                     | AttributeKind::RustcBuiltinMacro { .. }
diff --git a/compiler/rustc_resolve/src/build_reduced_graph.rs b/compiler/rustc_resolve/src/build_reduced_graph.rs
@@ -164,7 +164,11 @@ impl<'ra, 'tcx> Resolver<'ra, 'tcx> {
                     let expn_id = self.cstore().expn_that_defined_untracked(self.tcx, def_id);
                     return Some(self.new_extern_module(
                         parent,
-                        ModuleKind::Def(def_kind, def_id, Some(self.tcx.item_name(def_id))),
+                        ModuleKind::Def(
+                            def_kind,
+                            def_id,
+                            Some((self.tcx.item_name(def_id), false)),
+                        ),
                         expn_id,
                         self.def_span(def_id),
                         // FIXME: Account for `#[no_implicit_prelude]` attributes.
@@ -664,14 +668,14 @@ impl<'a, 'ra, 'tcx> BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
                     // Disallow `use $crate;`
                     if source.ident.name == kw::DollarCrate && module_path.is_empty() {
                         let crate_root = self.r.resolve_crate_root(source.ident);
-                        let crate_name = match crate_root.kind {
-                            ModuleKind::Def(.., name) => name,
+                        let crate_name_and_transparent = match crate_root.kind {
+                            ModuleKind::Def(.., name_and_transparent) => name_and_transparent,
                             ModuleKind::Block => unreachable!(),
                         };
                         // HACK(eddyb) unclear how good this is, but keeping `$crate`
                         // in `source` breaks `tests/ui/imports/import-crate-var.rs`,
                         // while the current crate doesn't have a valid `crate_name`.
-                        if let Some(crate_name) = crate_name {
+                        if let Some((crate_name, _transparent)) = crate_name_and_transparent {
                             // `crate_name` should not be interpreted as relative.
                             module_path.push(Segment::from_ident_and_id(
                                 Ident::new(kw::PathRoot, source.ident.span),
@@ -853,9 +857,18 @@ impl<'a, 'ra, 'tcx> BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
                 {
                     self.r.mods_with_parse_errors.insert(def_id);
                 }
+                let transparent = AttributeParser::parse_limited(
+                    self.r.tcx.sess,
+                    &item.attrs,
+                    sym::transparent,
+                    item.span,
+                    item.id,
+                    None,
+                )
+                .is_some();
                 self.parent_scope.module = self.r.new_local_module(
                     Some(parent),
-                    ModuleKind::Def(def_kind, def_id, Some(ident.name)),
+                    ModuleKind::Def(def_kind, def_id, Some((ident.name, transparent))),
                     expansion.to_expn_id(),
                     item.span,
                     parent.no_implicit_prelude
@@ -888,7 +901,7 @@ impl<'a, 'ra, 'tcx> BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
 
                 self.parent_scope.module = self.r.new_local_module(
                     Some(parent),
-                    ModuleKind::Def(def_kind, def_id, Some(ident.name)),
+                    ModuleKind::Def(def_kind, def_id, Some((ident.name, false))),
                     expansion.to_expn_id(),
                     item.span,
                     parent.no_implicit_prelude,
diff --git a/compiler/rustc_resolve/src/ident.rs b/compiler/rustc_resolve/src/ident.rs
@@ -247,6 +247,10 @@ impl<'ra, 'tcx> Resolver<'ra, 'tcx> {
             return Some((module.parent.unwrap().nearest_item_scope(), None));
         }
 
+        if module.is_transparent() {
+            return Some((module.parent.unwrap().nearest_item_scope(), None));
+        }
+
         // We need to support the next case under a deprecation warning
         // ```
         // struct MyStruct;
@@ -355,7 +359,7 @@ impl<'ra, 'tcx> Resolver<'ra, 'tcx> {
                 // Encountered a module item, abandon ribs and look into that module and preludes.
                 let parent_scope = &ParentScope { module, ..*parent_scope };
                 let finalize = finalize.map(|f| Finalize { stage: Stage::Late, ..f });
-                return self
+                let binding = self
                     .cm()
                     .resolve_ident_in_scope_set(
                         orig_ident,
@@ -366,8 +370,17 @@ impl<'ra, 'tcx> Resolver<'ra, 'tcx> {
                         ignore_decl,
                         None,
                     )
-                    .ok()
-                    .map(LateDecl::Decl);
+                    .ok();
+                match binding {
+                    Some(binding) => {
+                        return Some(LateDecl::Decl(binding));
+                    }
+                    None => {
+                        if !module.is_transparent() {
+                            return None;
+                        }
+                    }
+                }
             }
 
             if let RibKind::MacroDefinition(def) = rib.kind
diff --git a/compiler/rustc_resolve/src/lib.rs b/compiler/rustc_resolve/src/lib.rs
@@ -538,17 +538,19 @@ enum ModuleKind {
     /// * A normal module – either `mod from_file;` or `mod from_block { }` –
     ///   or the crate root (which is conceptually a top-level module).
     ///   The crate root will have `None` for the symbol.
+    ///     * the bool in the tuple next to symbol represents whether the "transparent"
+    ///     attribute is present on the module, only applies to named `mod` items.
     /// * A trait or an enum (it implicitly contains associated types, methods and variant
     ///   constructors).
-    Def(DefKind, DefId, Option<Symbol>),
+    Def(DefKind, DefId, Option<(Symbol, bool)>),
 }
 
 impl ModuleKind {
     /// Get name of the module.
     fn name(&self) -> Option<Symbol> {
         match *self {
             ModuleKind::Block => None,
-            ModuleKind::Def(.., name) => name,
+            ModuleKind::Def(.., name_and_transparent) => name_and_transparent.map(|(name, _)| name),
         }
     }
 }
@@ -772,6 +774,13 @@ impl<'ra> Module<'ra> {
         }
     }
 
+    fn is_transparent(self) -> bool {
+        match self.kind {
+            ModuleKind::Def(DefKind::Mod, _, Some((_, transparent))) => transparent,
+            _ => false,
+        }
+    }
+
     fn is_ancestor_of(self, mut other: Self) -> bool {
         while self != other {
             if let Some(parent) = other.parent {
@@ -2472,7 +2481,7 @@ fn module_to_string(mut module: Module<'_>) -> Option<String> {
         if let ModuleKind::Def(.., name) = module.kind {
             if let Some(parent) = module.parent {
                 // `unwrap` is safe: the presence of a parent means it's not the crate root.
-                names.push(name.unwrap());
+                names.push(name.unwrap().0);
                 module = parent
             } else {
                 break;
diff --git a/compiler/rustc_resolve/src/macros.rs b/compiler/rustc_resolve/src/macros.rs
@@ -170,7 +170,11 @@ impl<'ra, 'tcx> ResolverExpand for Resolver<'ra, 'tcx> {
         hygiene::update_dollar_crate_names(|ctxt| {
             let ident = Ident::new(kw::DollarCrate, DUMMY_SP.with_ctxt(ctxt));
             match self.resolve_crate_root(ident).kind {
-                ModuleKind::Def(.., name) if let Some(name) = name => name,
+                ModuleKind::Def(.., name_and_transparent)
+                    if let Some((name, _transparent)) = name_and_transparent =>
+                {
+                    name
+                }
                 _ => kw::Crate,
             }
         });
@@ -1115,8 +1119,8 @@ impl<'ra, 'tcx> Resolver<'ra, 'tcx> {
                 self.get_mut().record_use(ident, fallback_binding, Used::Other);
             } else {
                 let location = match parent_scope.module.kind {
-                    ModuleKind::Def(kind, def_id, name) => {
-                        if let Some(name) = name {
+                    ModuleKind::Def(kind, def_id, name_and_transparent) => {
+                        if let Some((name, _transparent)) = name_and_transparent {
                             format!("{} `{name}`", kind.descr(def_id))
                         } else {
                             "the crate root".to_string()
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs
@@ -2289,6 +2289,7 @@ symbols! {
         transmute_unchecked,
         transparent,
         transparent_enums,
+        transparent_modules,
         transparent_unions,
         trivial_bounds,
         trivial_clone,
diff --git a/tests/ui/modules/no-transparent-fail.rs b/tests/ui/modules/no-transparent-fail.rs
@@ -0,0 +1,47 @@
+//@ check-fail
+//@ edition:2018
+// gate-test-transparent_modules
+mod y {
+    macro_rules! s {
+        () => {};
+    }
+
+    pub(crate) use s;
+}
+
+trait IWantAMethod {
+    fn method(&self) {}
+}
+
+impl IWantAMethod for () {}
+
+fn foo() {
+    struct S;
+    impl S {
+        const NAME: &'static str = "S";
+    }
+    enum C {
+        B,
+    }
+
+    use y::s;
+    mod x {
+        // early resolution
+        s!(); //~ ERROR cannot find macro `s` in this scope
+        // late resolution
+        struct Y(S); //~ ERROR cannot find type `S` in this scope
+        impl Y {
+            // hir_typeck type dependent name resolution of associated const
+            const SNAME: &'static str = S::NAME; //~ ERROR failed to resolve: use of undeclared type `S`
+        }
+        fn bar() -> C {
+            //~^ ERROR cannot find type `C` in this scope
+            // method lookup, resolving appropriate trait in scope
+            ().method(); //~ ERROR no method named `method` found for unit type `()` in the current scope
+            // hir ty lowering type dependent name resolution of associated enum variant
+            C::B //~ ERROR failed to resolve: use of undeclared type `C`
+        }
+    }
+}
+
+fn main() {}
diff --git a/tests/ui/modules/no-transparent-fail.stderr b/tests/ui/modules/no-transparent-fail.stderr
@@ -0,0 +1,79 @@
+error: cannot find macro `s` in this scope
+  --> $DIR/no-transparent-fail.rs:30:9
+   |
+LL |         s!();
+   |         ^
+   |
+   = help: have you added the `#[macro_use]` on the module/import?
+help: consider importing this macro through its public re-export
+   |
+LL +         use crate::y::s;
+   |
+
+error[E0412]: cannot find type `S` in this scope
+  --> $DIR/no-transparent-fail.rs:32:18
+   |
+LL |         struct Y(S);
+   |                  ^ not found in this scope
+   |
+help: you might be missing a type parameter
+   |
+LL |         struct Y<S>(S);
+   |                 +++
+
+error[E0412]: cannot find type `C` in this scope
+  --> $DIR/no-transparent-fail.rs:37:21
+   |
+LL |         struct Y(S);
+   |         ------------ similarly named struct `Y` defined here
+...
+LL |         fn bar() -> C {
+   |                     ^
+   |
+help: a struct with a similar name exists
+   |
+LL -         fn bar() -> C {
+LL +         fn bar() -> Y {
+   |
+help: you might be missing a type parameter
+   |
+LL |         fn bar<C>() -> C {
+   |               +++
+
+error[E0433]: failed to resolve: use of undeclared type `S`
+  --> $DIR/no-transparent-fail.rs:35:41
+   |
+LL |             const SNAME: &'static str = S::NAME;
+   |                                         ^
+   |                                         |
+   |                                         use of undeclared type `S`
+   |                                         help: a struct with a similar name exists: `Y`
+
+error[E0599]: no method named `method` found for unit type `()` in the current scope
+  --> $DIR/no-transparent-fail.rs:40:16
+   |
+LL |     fn method(&self) {}
+   |        ------ the method is available for `()` here
+...
+LL |             ().method();
+   |                ^^^^^^ method not found in `()`
+   |
+   = help: items from traits can only be used if the trait is in scope
+help: trait `IWantAMethod` which provides `method` is implemented but not in scope; perhaps you want to import it
+   |
+LL +         use crate::IWantAMethod;
+   |
+
+error[E0433]: failed to resolve: use of undeclared type `C`
+  --> $DIR/no-transparent-fail.rs:42:13
+   |
+LL |             C::B
+   |             ^
+   |             |
+   |             use of undeclared type `C`
+   |             help: a struct with a similar name exists: `Y`
+
+error: aborting due to 6 previous errors
+
+Some errors have detailed explanations: E0412, E0433, E0599.
+For more information about an error, try `rustc --explain E0412`.
diff --git a/tests/ui/modules/transparent-fail.rs b/tests/ui/modules/transparent-fail.rs
diff --git a/tests/ui/modules/transparent-fail.stderr b/tests/ui/modules/transparent-fail.stderr
diff --git a/tests/ui/modules/transparent-pass.rs b/tests/ui/modules/transparent-pass.rs
