Disqualify auto trait built-in impl in new solver if explicit impl exists#107815
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 9, 2023
auto trait built-in impl in new solver if explicit impl exists#107815