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

Crater rollup #122502

Closed
wants to merge 11 commits into from
Closed

Crater rollup #122502

wants to merge 11 commits into from

Commits on Mar 14, 2024

  1. Consolidate WF for aliases

    @compiler-errors
    compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    57b8688 View commit details
    Browse the repository at this point in the history

  2. Recurse into args in WF even if they have escaping bound vars

    @compiler-errors
    compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    a440b16 View commit details
    Browse the repository at this point in the history

  3. Pass list of defineable opaque types into canonical queries

    @oli-obk @compiler-errors
    oli-obk authored and compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    a6185d6 View commit details
    Browse the repository at this point in the history

  4. Eliminate DefiningAnchor now that is just a single-variant enum

    @oli-obk @compiler-errors
    oli-obk authored and compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    4dcc78d View commit details
    Browse the repository at this point in the history

  5. Shrink the size of ClosureTypeInfo to fit into 64 bytes again

    @oli-obk @compiler-errors
    oli-obk authored and compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    1b499c8 View commit details
    Browse the repository at this point in the history

  6. Avoid fetching the opaque type origin when only "is this in the defin… 

    …ing scope" is actually needed
    @oli-obk @compiler-errors
    oli-obk authored and compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    9d7b194 View commit details
    Browse the repository at this point in the history

  7. Mark some tests as known-bugs and add the test case from the correspo… 

    …nding issue
    @oli-obk @compiler-errors
    oli-obk authored and compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    49e9cff View commit details
    Browse the repository at this point in the history

  8. Add a FIXME for something that requires touching too much code for th… 

    …is PR
    @oli-obk @compiler-errors
    oli-obk authored and compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    aac18a8 View commit details
    Browse the repository at this point in the history

  9. Some early clean-ups in method probe

    @compiler-errors
    compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    a3f98bb View commit details
    Browse the repository at this point in the history

  10. Use fulfillment, not evaluate, during method probe

    @compiler-errors
    compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    fea073f View commit details
    Browse the repository at this point in the history

  11. hotfix

    @compiler-errors
    compiler-errors committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    e6184af View commit details
    Browse the repository at this point in the history