discard default auto trait impls if explicit ones exist (rebase of #85048)#113312

Merged

bors merged 4 commits intorust-lang:masterfrom Ddystopia:auto-trait-fun

Jul 28, 2023

+146-20

Commits on Jul 6, 2023

update auto trait handling

lcnr
authored and
Ddystopia
committed
deal with opaque types without cycling

lcnr
authored and
Ddystopia
committed
always emit consider AutoImplCandidates for them if they don't also have a ProjectionCandidate
Ddystopia
committed

Commits on Jul 28, 2023

Change the description of SUSPICIOUS_AUTO_TRAIT_IMPLS
Ddystopia
committed