We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5b7343b commit 5336a02Copy full SHA for 5336a02
compiler/rustc_trait_selection/src/traits/project.rs
@@ -1061,8 +1061,9 @@ fn assemble_candidates_from_impls<'cx, 'tcx>(
1061
// Integers and floats always have `u8` as their discriminant.
1062
| ty::Infer(ty::InferTy::IntVar(_) | ty::InferTy::FloatVar(..)) => true,
1063
1064
- // type parameters, opaques, and unnormalized projections have pointer
1065
- // metadata if they're known (e.g. by the param_env) to be sized
+ // type parameters, opaques, and unnormalized projections don't have
+ // a known discriminant and may need to be normalized further or rely
1066
+ // on param env for discriminant projections
1067
ty::Param(_)
1068
| ty::Alias(..)
1069
| ty::Bound(..)
0 commit comments