incorrectly prefer builtin `dyn` impls :3#141347

Merged

bors merged 1 commit intorust-lang:masterfrom

lcnr:lets-make-it-unsound-3

May 22, 2025

Commits on May 21, 2025

fix better_any breakage by making the solver more unsound
lcnr
committed