Crater rollup#122502

Closed

compiler-errors wants to merge 11 commits intorust-lang:masterfrom compiler-errors:crater-rollup

+657-920

Commits on Mar 14, 2024

Consolidate WF for aliases
compiler-errors
committed
Recurse into args in WF even if they have escaping bound vars
compiler-errors
committed
Pass list of defineable opaque types into canonical queries

oli-obk
authored and
compiler-errors
committed
Eliminate DefiningAnchor now that is just a single-variant enum

oli-obk
authored and
compiler-errors
committed
Shrink the size of ClosureTypeInfo to fit into 64 bytes again

oli-obk
authored and
compiler-errors
committed
Avoid fetching the opaque type origin when only "is this in the defining scope" is actually needed

oli-obk
authored and
compiler-errors
committed
Mark some tests as known-bugs and add the test case from the corresponding issue

oli-obk
authored and
compiler-errors
committed
Add a FIXME for something that requires touching too much code for this PR

oli-obk
authored and
compiler-errors
committed
Some early clean-ups in method probe
compiler-errors
committed
Use fulfillment, not evaluate, during method probe
compiler-errors
committed
hotfix
compiler-errors
committed