Mark effects marker traits' runtime params as is_host_param.

fee1-dead · fee1-dead · commit 02e547ed7122 · 2024-02-10T17:25:07.000+08:00
This avoids mix up when we create inference params for them and try to equate those to effect inference params.
diff --git a/compiler/rustc_ast_lowering/src/item.rs b/compiler/rustc_ast_lowering/src/item.rs
@@ -1596,12 +1596,14 @@ impl<'hir> LoweringContext<'_, 'hir> {
                             }),
                         )),
                     )),
+                    // FIXME(effects) we might not need a default.
                     default: Some(hir::AnonConst {
                         def_id: anon_const,
                         hir_id: const_id,
                         body: const_body,
                     }),
                     is_host_effect: true,
+                    synthetic: true,
                 },
                 colon_span: None,
                 pure_wrt_drop: false,
diff --git a/compiler/rustc_ast_lowering/src/lib.rs b/compiler/rustc_ast_lowering/src/lib.rs
@@ -2112,7 +2112,11 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
         param: &GenericParam,
         source: hir::GenericParamSource,
     ) -> hir::GenericParam<'hir> {
-        let (name, kind) = self.lower_generic_param_kind(param, source);
+        let (name, kind) = self.lower_generic_param_kind(
+            param,
+            source,
+            attr::contains_name(&param.attrs, sym::rustc_runtime),
+        );
 
         let hir_id = self.lower_node_id(param.id);
         self.lower_attrs(hir_id, &param.attrs);
@@ -2132,6 +2136,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
         &mut self,
         param: &GenericParam,
         source: hir::GenericParamSource,
+        is_host_effect: bool,
     ) -> (hir::ParamName, hir::GenericParamKind<'hir>) {
         match &param.kind {
             GenericParamKind::Lifetime => {
@@ -2197,7 +2202,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
 
                 (
                     hir::ParamName::Plain(self.lower_ident(param.ident)),
-                    hir::GenericParamKind::Const { ty, default, is_host_effect: false },
+                    hir::GenericParamKind::Const { ty, default, is_host_effect, synthetic: false },
                 )
             }
         }
diff --git a/compiler/rustc_const_eval/src/const_eval/fn_queries.rs b/compiler/rustc_const_eval/src/const_eval/fn_queries.rs
@@ -43,8 +43,7 @@ fn constness(tcx: TyCtxt<'_>, def_id: LocalDefId) -> hir::Constness {
             hir::Constness::Const
         }
         hir::Node::Item(hir::Item { kind: hir::ItemKind::Impl(_), .. }) => tcx
-            .generics_of(def_id)
-            .host_effect_index
+            .associated_type_for_effects(def_id)
             .map_or(hir::Constness::NotConst, |_| hir::Constness::Const),
         hir::Node::ForeignItem(hir::ForeignItem { kind: hir::ForeignItemKind::Fn(..), .. }) => {
             // Intrinsics use `rustc_const_{un,}stable` attributes to indicate constness. All other
diff --git a/compiler/rustc_feature/src/builtin_attrs.rs b/compiler/rustc_feature/src/builtin_attrs.rs
@@ -651,6 +651,7 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
     rustc_attr!(
         rustc_const_panic_str, Normal, template!(Word), WarnFollowing, INTERNAL_UNSTABLE
     ),
+    rustc_attr!(rustc_runtime, Normal, template!(Word), WarnFollowing, INTERNAL_UNSTABLE),
 
     // ==========================================================================
     // Internal attributes, Layout related:
diff --git a/compiler/rustc_hir/src/hir.rs b/compiler/rustc_hir/src/hir.rs
@@ -485,6 +485,7 @@ pub enum GenericParamKind<'hir> {
         /// Optional default value for the const generic param
         default: Option<AnonConst>,
         is_host_effect: bool,
+        synthetic: bool,
     },
 }
 
diff --git a/compiler/rustc_hir/src/intravisit.rs b/compiler/rustc_hir/src/intravisit.rs
@@ -865,7 +865,7 @@ pub fn walk_generic_param<'v, V: Visitor<'v>>(visitor: &mut V, param: &'v Generi
     match param.kind {
         GenericParamKind::Lifetime { .. } => {}
         GenericParamKind::Type { ref default, .. } => walk_list!(visitor, visit_ty, default),
-        GenericParamKind::Const { ref ty, ref default, is_host_effect: _ } => {
+        GenericParamKind::Const { ref ty, ref default, is_host_effect: _, synthetic: _ } => {
             visitor.visit_ty(ty);
             if let Some(ref default) = default {
                 visitor.visit_const_param_default(param.hir_id, default);
diff --git a/compiler/rustc_hir_analysis/src/astconv/generics.rs b/compiler/rustc_hir_analysis/src/astconv/generics.rs
@@ -448,7 +448,7 @@ pub(crate) fn check_generic_arg_count(
         .params
         .iter()
         .filter(|param| {
-            matches!(param.kind, ty::GenericParamDefKind::Const { is_host_effect: true, .. })
+            matches!(param.kind, ty::GenericParamDefKind::Const { synthetic: true, .. })
         })
         .count();
     let named_const_param_count = param_counts.consts - synth_const_param_count;
diff --git a/compiler/rustc_hir_analysis/src/bounds.rs b/compiler/rustc_hir_analysis/src/bounds.rs
@@ -75,14 +75,20 @@ impl<'tcx> Bounds<'tcx> {
                     tcx.impl_trait_ref(defining_def_id).unwrap().instantiate_identity()
                 };
                 // create a new projection type `<T as TraitForBound>::Effects`
-                let assoc = tcx.associated_type_for_effects(trait_ref.def_id()).unwrap();
+                let Some(assoc) = tcx.associated_type_for_effects(trait_ref.def_id()) else {
+                    tcx.dcx().span_delayed_bug(
+                        span,
+                        "`~const` trait bound has no effect assoc yet no errors encountered?",
+                    );
+                    return;
+                };
                 let self_ty = Ty::new_projection(tcx, assoc, trait_ref.skip_binder().args);
                 // we might have `~const Tr` where `Tr` isn't a `#[const_trait]`.
                 let Some(assoc_def) = tcx.associated_type_for_effects(trait_we_are_in.def_id)
                 else {
                     tcx.dcx().span_delayed_bug(
                         span,
-                        "`~const` bound trait has no effect param yet no errors encountered?",
+                        "`~const` trait bound has no effect assoc yet no errors encountered?",
                     );
                     return;
                 };
@@ -104,7 +110,13 @@ impl<'tcx> Bounds<'tcx> {
             }
         } {
             // create a new projection type `<T as Tr>::Effects`
-            let assoc = tcx.associated_type_for_effects(trait_ref.def_id()).unwrap();
+            let Some(assoc) = tcx.associated_type_for_effects(trait_ref.def_id()) else {
+                tcx.dcx().span_delayed_bug(
+                    span,
+                    "`~const` trait bound has no effect assoc yet no errors encountered?",
+                );
+                return;
+            };
             let self_ty = Ty::new_projection(tcx, assoc, trait_ref.skip_binder().args);
             // make `<T as Tr>::Effects: Compat<runtime>`
             let new_trait_ref = ty::TraitRef::new(
diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs
@@ -911,7 +911,12 @@ fn check_param_wf(tcx: TyCtxt<'_>, param: &hir::GenericParam<'_>) -> Result<(),
         hir::GenericParamKind::Lifetime { .. } | hir::GenericParamKind::Type { .. } => Ok(()),
 
         // Const parameters are well formed if their type is structural match.
-        hir::GenericParamKind::Const { ty: hir_ty, default: _, is_host_effect: _ } => {
+        hir::GenericParamKind::Const {
+            ty: hir_ty,
+            default: _,
+            is_host_effect: _,
+            synthetic: _,
+        } => {
             let ty = tcx.type_of(param.def_id).instantiate_identity();
 
             if tcx.features().adt_const_params {
diff --git a/compiler/rustc_hir_analysis/src/collect/generics_of.rs b/compiler/rustc_hir_analysis/src/collect/generics_of.rs
@@ -298,7 +298,7 @@ pub(super) fn generics_of(tcx: TyCtxt<'_>, def_id: LocalDefId) -> ty::Generics {
                 kind,
             })
         }
-        GenericParamKind::Const { ty: _, default, is_host_effect } => {
+        GenericParamKind::Const { ty: _, default, is_host_effect, synthetic } => {
             if !matches!(allow_defaults, Defaults::Allowed)
                 && default.is_some()
                 // `host` effect params are allowed to have defaults.
@@ -332,6 +332,7 @@ pub(super) fn generics_of(tcx: TyCtxt<'_>, def_id: LocalDefId) -> ty::Generics {
                 kind: ty::GenericParamDefKind::Const {
                     has_default: default.is_some(),
                     is_host_effect,
+                    synthetic,
                 },
             })
         }
@@ -504,7 +505,8 @@ struct AnonConstInParamTyDetector {
 
 impl<'v> Visitor<'v> for AnonConstInParamTyDetector {
     fn visit_generic_param(&mut self, p: &'v hir::GenericParam<'v>) {
-        if let GenericParamKind::Const { ty, default: _, is_host_effect: _ } = p.kind {
+        if let GenericParamKind::Const { ty, default: _, is_host_effect: _, synthetic: _ } = p.kind
+        {
             let prev = self.in_param_ty;
             self.in_param_ty = true;
             self.visit_ty(ty);
diff --git a/compiler/rustc_hir_analysis/src/collect/resolve_bound_vars.rs b/compiler/rustc_hir_analysis/src/collect/resolve_bound_vars.rs
@@ -963,7 +963,7 @@ impl<'a, 'tcx> Visitor<'tcx> for BoundVarContext<'a, 'tcx> {
                     self.visit_ty(ty);
                 }
             }
-            GenericParamKind::Const { ty, default, is_host_effect: _ } => {
+            GenericParamKind::Const { ty, default, .. } => {
                 self.visit_ty(ty);
                 if let Some(default) = default {
                     self.visit_body(self.tcx.hir().body(default.body));
diff --git a/compiler/rustc_hir_pretty/src/lib.rs b/compiler/rustc_hir_pretty/src/lib.rs
@@ -2104,7 +2104,7 @@ impl<'a> State<'a> {
                     self.print_type(default);
                 }
             }
-            GenericParamKind::Const { ty, ref default, is_host_effect: _ } => {
+            GenericParamKind::Const { ty, ref default, is_host_effect: _, synthetic: _ } => {
                 self.word_space(":");
                 self.print_type(ty);
                 if let Some(default) = default {
diff --git a/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs b/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs
@@ -1301,7 +1301,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                         self.fcx.ty_infer(Some(param), inf.span).into()
                     }
                     (
-                        &GenericParamDefKind::Const { has_default, is_host_effect },
+                        &GenericParamDefKind::Const { has_default, is_host_effect, .. },
                         GenericArg::Infer(inf),
                     ) => {
                         let tcx = self.fcx.tcx();
@@ -1349,7 +1349,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                             self.fcx.var_for_def(self.span, param)
                         }
                     }
-                    GenericParamDefKind::Const { has_default, is_host_effect } => {
+                    GenericParamDefKind::Const { has_default, is_host_effect, .. } => {
                         if has_default {
                             // N.B. this is a bit of a hack. `infer_args` is passed depending on
                             // whether the user has provided generic args. E.g. for `Vec::new`
diff --git a/compiler/rustc_middle/src/ty/generics.rs b/compiler/rustc_middle/src/ty/generics.rs
@@ -12,7 +12,7 @@ use super::{Clause, InstantiatedPredicates, ParamConst, ParamTy, Ty, TyCtxt};
 pub enum GenericParamDefKind {
     Lifetime,
     Type { has_default: bool, synthetic: bool },
-    Const { has_default: bool, is_host_effect: bool },
+    Const { has_default: bool, is_host_effect: bool, synthetic: bool },
 }
 
 impl GenericParamDefKind {
diff --git a/compiler/rustc_smir/src/rustc_smir/convert/ty.rs b/compiler/rustc_smir/src/rustc_smir/convert/ty.rs
@@ -561,7 +561,7 @@ impl<'tcx> Stable<'tcx> for rustc_middle::ty::GenericParamDefKind {
             ty::GenericParamDefKind::Type { has_default, synthetic } => {
                 GenericParamDefKind::Type { has_default: *has_default, synthetic: *synthetic }
             }
-            ty::GenericParamDefKind::Const { has_default, is_host_effect: _ } => {
+            ty::GenericParamDefKind::Const { has_default, is_host_effect: _, synthetic: _ } => {
                 GenericParamDefKind::Const { has_default: *has_default }
             }
         }
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs
@@ -1457,6 +1457,7 @@ symbols! {
         rustc_reallocator,
         rustc_regions,
         rustc_reservation_impl,
+        rustc_runtime,
         rustc_safe_intrinsic,
         rustc_serialize,
         rustc_skip_array_during_method_dispatch,
diff --git a/library/core/src/marker.rs b/library/core/src/marker.rs
@@ -1025,11 +1025,11 @@ pub mod effects {
     pub struct Runtime;
 
     #[lang = "EffectsCompat"]
-    pub trait Compat<const RUNTIME: bool> {}
+    pub trait Compat<#[rustc_runtime] const RUNTIME: bool = true> {}
 
     impl Compat<false> for NoRuntime {}
     impl Compat<true> for Runtime {}
-    impl<const RUNTIME: bool> Compat<RUNTIME> for Maybe {}
+    impl<#[rustc_runtime] const RUNTIME: bool> Compat<RUNTIME> for Maybe {}
 
     #[lang = "EffectsEq"]
     pub trait EffectsEq<T: ?Sized> {}

Original file line number	Diff line number	Diff line change
`@@ -485,6 +485,7 @@ pub enum GenericParamKind<'hir> {`
`485`	`485`	`/// Optional default value for the const generic param`
`486`	`486`	`default: Option<AnonConst>,`
`487`	`487`	`is_host_effect: bool,`
	`488`	`+ synthetic: bool,`
`488`	`489`	`},`
`489`	`490`	`}`
`490`	`491`
Original file line number	Diff line number	Diff line change
`@@ -963,7 +963,7 @@ impl<'a, 'tcx> Visitor<'tcx> for BoundVarContext<'a, 'tcx> {`
`963`	`963`	`self.visit_ty(ty);`
`964`	`964`	`}`
`965`	`965`	`}`
`966`		`- GenericParamKind::Const { ty, default, is_host_effect: _ } => {`
	`966`	`+ GenericParamKind::Const { ty, default, .. } => {`
`967`	`967`	`self.visit_ty(ty);`
`968`	`968`	`if let Some(default) = default {`
`969`	`969`	`self.visit_body(self.tcx.hir().body(default.body));`
Original file line number	Diff line number	Diff line change
`@@ -2104,7 +2104,7 @@ impl<'a> State<'a> {`
`2104`	`2104`	`self.print_type(default);`
`2105`	`2105`	`}`
`2106`	`2106`	`}`
`2107`		`- GenericParamKind::Const { ty, ref default, is_host_effect: _ } => {`
	`2107`	`+ GenericParamKind::Const { ty, ref default, is_host_effect: _, synthetic: _ } => {`
`2108`	`2108`	`self.word_space(":");`
`2109`	`2109`	`self.print_type(ty);`
`2110`	`2110`	`if let Some(default) = default {`
Original file line number	Diff line number	Diff line change
`@@ -1301,7 +1301,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`1301`	`1301`	`self.fcx.ty_infer(Some(param), inf.span).into()`
`1302`	`1302`	`}`
`1303`	`1303`	`(`
`1304`		`- &GenericParamDefKind::Const { has_default, is_host_effect },`
	`1304`	`+ &GenericParamDefKind::Const { has_default, is_host_effect, .. },`
`1305`	`1305`	`GenericArg::Infer(inf),`
`1306`	`1306`	`) => {`
`1307`	`1307`	`let tcx = self.fcx.tcx();`
`@@ -1349,7 +1349,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`1349`	`1349`	`self.fcx.var_for_def(self.span, param)`
`1350`	`1350`	`}`
`1351`	`1351`	`}`
`1352`		`- GenericParamDefKind::Const { has_default, is_host_effect } => {`
	`1352`	`+ GenericParamDefKind::Const { has_default, is_host_effect, .. } => {`
`1353`	`1353`	`if has_default {`
`1354`	`1354`	// N.B. this is a bit of a hack. `infer_args` is passed depending on
`1355`	`1355`	// whether the user has provided generic args. E.g. for `Vec::new`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ use super::{Clause, InstantiatedPredicates, ParamConst, ParamTy, Ty, TyCtxt};`
`12`	`12`	`pub enum GenericParamDefKind {`
`13`	`13`	`Lifetime,`
`14`	`14`	`Type { has_default: bool, synthetic: bool },`
`15`		`- Const { has_default: bool, is_host_effect: bool },`
	`15`	`+ Const { has_default: bool, is_host_effect: bool, synthetic: bool },`
`16`	`16`	`}`
`17`	`17`
`18`	`18`	`impl GenericParamDefKind {`
Original file line number	Diff line number	Diff line change
`@@ -561,7 +561,7 @@ impl<'tcx> Stable<'tcx> for rustc_middle::ty::GenericParamDefKind {`
`561`	`561`	`ty::GenericParamDefKind::Type { has_default, synthetic } => {`
`562`	`562`	`GenericParamDefKind::Type { has_default: has_default, synthetic: synthetic }`
`563`	`563`	`}`
`564`		`- ty::GenericParamDefKind::Const { has_default, is_host_effect: _ } => {`
	`564`	`+ ty::GenericParamDefKind::Const { has_default, is_host_effect: _, synthetic: _ } => {`
`565`	`565`	`GenericParamDefKind::Const { has_default: *has_default }`
`566`	`566`	`}`
`567`	`567`	`}`