effects: fix comment

This commit is contained in:
León Orell Valerian Liehr 2023-12-19 14:25:24 +01:00
parent bf9229a2e3
commit ffdc6c7b65
No known key found for this signature in database
GPG Key ID: D17A07215F68E713

View File

@ -262,7 +262,7 @@ pub fn create_args_for_parent_generic_args<'tcx, 'a>(
// impl const PartialEq for () {}
// ```
//
// Since this is a const impl, we need to insert `<false>` at the end of
// Since this is a const impl, we need to insert a host arg at the end of
// `PartialEq`'s generics, but this errors since `Rhs` isn't specified.
// To work around this, we infer all arguments until we reach the host param.
args.push(ctx.inferred_kind(Some(&args), param, infer_args));