Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Merged
merged 3 commits into from
Mar 11, 2024
Merged

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

merged 3 commits into from
Mar 11, 2024

Commits on Mar 11, 2024

  1. Make DefiningAnchor::Bind only store the opaque types that may be c… 

    …onstrained, instead of the current infcx root item.

This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely
    @oli-obk
    oli-obk committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    40d5609 View commit details
    Browse the repository at this point in the history

  2. Eliminate DefiningAnchor::Error, it is indistinguishable from `Defi… 

    …ningAnchor::Bind` with an empty list
    @oli-obk
    oli-obk committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    7348dd1 View commit details
    Browse the repository at this point in the history

  3. update comment for RPITIT projections

    @lcnr @oli-obk
    lcnr authored and oli-obk committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    b0328c2 View commit details
    Browse the repository at this point in the history