Allow instantiating object trait binder when upcasting#130866

Merged

bors merged 3 commits intorust-lang:masterfrom compiler-errors:dyn-instantiate-binder

Sep 28, 2024

+228-201

Commits on Sep 27, 2024

Check allow instantiating object trait binder when upcasting and in new solver
compiler-errors
committed
Instantiate binders when checking supertrait upcasting
compiler-errors
committed
Get rid of a_is_expected from ToTrace
compiler-errors
committed