Pass list of defineable opaque types into canonical queries#122077

Merged

bors merged 13 commits intorust-lang:masterfrom oli-obk:eager_opaque_checks4

Apr 9, 2024

+470-388

Commits on Apr 8, 2024

Add regression test
oli-obk
committed
Make Canonical trait impls more robust
oli-obk
committed
Pass list of defineable opaque types into canonical queries
oli-obk
committed
Eagerly check for accidentally registered region constraints instead of waiting until borrowck is done
oli-obk
committed
Adjust a comment to the new status quo
oli-obk
committed
Scrape extraneous regions from instantiate_nll_query_response_and_region_obligations
oli-obk
committed
Eliminate DefiningAnchor now that is just a single-variant enum
oli-obk
committed
Shrink the size of ClosureTypeInfo to fit into 64 bytes again
oli-obk
committed
Avoid fetching the opaque type origin when only "is this in the defining scope" is actually needed
oli-obk
committed
Mark some tests as known-bugs and add the test case from the corresponding issue
oli-obk
committed
Add a FIXME for something that requires touching too much code for this PR
oli-obk
committed
bless mir-opt tests
oli-obk
committed
Ensure the canonical_param_env_cache does not contain inconsistent information about the defining anchor
oli-obk
committed