Skip to content

Commit

Permalink
always emit consider AutoImplCandidates for them if they don't also…
Browse files Browse the repository at this point in the history
… have a `ProjectionCandidate`
  • Loading branch information
Ddystopia committed Jul 6, 2023
1 parent b5b3f33 commit 944f237
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -552,6 +552,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
// Note that this is only sound as projection candidates of opaque types
// are always applicable for auto traits.
}
ty::Alias(_, _) => candidates.vec.push(AutoImplCandidate),

ty::Bool
| ty::Char
Expand All @@ -570,7 +571,6 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
| ty::Generator(..)
| ty::Never
| ty::Tuple(_)
| ty::Alias(_, _)
| ty::GeneratorWitness(_)
| ty::GeneratorWitnessMIR(..) => {
// Only consider auto impls if there are no manual impls for the root of `self_ty`.
Expand Down

0 comments on commit 944f237

Please sign in to comment.