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

Allow destructuring opaque types in their defining scopes #98582

Merged
merged 11 commits into from
Jul 16, 2022
Merged

Allow destructuring opaque types in their defining scopes #98582

merged 11 commits into from
Jul 16, 2022

Commits on Jul 15, 2022

  1. Introduce opaque type to hidden type projection

    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    84a444a View commit details
    Browse the repository at this point in the history

  2. Add some tracing instrumentation

    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    a034446 View commit details
    Browse the repository at this point in the history

  3. Pass one argument instead of fetching two fields of it at every call … 

    …site
    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    eeb1033 View commit details
    Browse the repository at this point in the history

  4. Remove early return that would likely have caused miscompilations if … 

    …it ever happened
    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    7a8a048 View commit details
    Browse the repository at this point in the history

  5. Reuse a helper method instead of manually rolling it

    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    0c6918f View commit details
    Browse the repository at this point in the history

  6. Some tracing helpers

    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    12457f8 View commit details
    Browse the repository at this point in the history

  7. Allow destructuring opaque types, since the patterns constrain the op… 

    …aque types
    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    728c7e8 View commit details
    Browse the repository at this point in the history

  8. Make destructuring a defining use

    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    6b33d5b View commit details
    Browse the repository at this point in the history

  9. Revert a hack that only ever worked on level deep

    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    ea68ce7 View commit details
    Browse the repository at this point in the history

  10. Move constructor into the branch that actually uses it

    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    92e470a View commit details
    Browse the repository at this point in the history

  11. Infer wildcard type from other patterns at every pattern level

    @oli-obk
    oli-obk committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    57e9f7a View commit details
    Browse the repository at this point in the history