Use fulfillment in method probe, not evaluation - #122317

Merged

bors merged 6 commits into

rust-lang:masterfrom

compiler-errors:fulfill-method-probe

Apr 23, 2024

Commits on Apr 22, 2024

Some early clean-ups in method probe
compiler-errors
committed
c13af7d
Use fulfillment, not evaluate, during method probe
compiler-errors
committed
ff4653a
Normalize xform_ret_ty after constrained
compiler-errors
committed
d9fec13
Check that predicate may hold BEFORE registering it in ocx
compiler-errors
committed
9d4f1d8
Restore error messaging
compiler-errors
committed
93c6c04
Use sup instead of eq when unifying self type
compiler-errors
committed
8995c2c