Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item.#121796

Merged

bors merged 3 commits intorust-lang:masterfrom

oli-obk:eager_opaque_checks3

Mar 11, 2024

Commits on Mar 11, 2024

Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item.
oli-obk
committed
Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnchor::Bind` with an empty list
oli-obk
committed
update comment for RPITIT projections

lcnr
authored and
oli-obk
committed