File tree 2 files changed +1
-6
lines changed
2 files changed +1
-6
lines changed Original file line number Diff line number Diff line change @@ -2534,7 +2534,6 @@ fn clean_generic_args<'tcx>(
2534
2534
}
2535
2535
hir:: GenericArg :: Lifetime ( _) => GenericArg :: Lifetime ( Lifetime :: elided ( ) ) ,
2536
2536
hir:: GenericArg :: Type ( ty) => GenericArg :: Type ( clean_ty ( ty, cx) ) ,
2537
- // FIXME(effects): This will still emit `<true>` for non-const impls of const traits
2538
2537
hir:: GenericArg :: Const ( ct)
2539
2538
if cx. tcx . has_attr ( ct. value . def_id , sym:: rustc_host) =>
2540
2539
{
Original file line number Diff line number Diff line change @@ -124,11 +124,7 @@ pub(crate) fn ty_args_to_args<'tcx>(
124
124
) ) )
125
125
}
126
126
GenericArgKind :: Const ( ct) => {
127
- // FIXME(effects): this relies on the host effect being called `host`, which users could also name
128
- // their const generics.
129
- // FIXME(effects): this causes `host = true` and `host = false` generics to also be emitted.
130
- if let ty:: ConstKind :: Param ( p) = ct. kind ( )
131
- && p. name == sym:: host
127
+ if let ty:: GenericParamDefKind :: Const { is_host_effect : true , .. } = params[ index] . kind
132
128
{
133
129
return None ;
134
130
}
You can’t perform that action at this time.
0 commit comments