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

Infer type in irrefutable slice patterns with fixed length as array #113199

Merged
merged 11 commits into from
Aug 3, 2023
Merged

Infer type in irrefutable slice patterns with fixed length as array #113199

merged 11 commits into from
Aug 3, 2023

Commits on Jul 17, 2023

  1. try to infer array type from slice pattern

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    2827aa9 View commit details
    Browse the repository at this point in the history

  2. add test, bless tests

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    e18e376 View commit details
    Browse the repository at this point in the history

  3. only infer array type on irrefutable patterns

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    b3413c6 View commit details
    Browse the repository at this point in the history

  4. add tests for refutable patterns

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    39c2785 View commit details
    Browse the repository at this point in the history

  5. combine arguments into PatInfo

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    feb8bb1 View commit details
    Browse the repository at this point in the history

  6. add test for nested pattern

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    843e2ee View commit details
    Browse the repository at this point in the history

  7. move els into DeclOrigin

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    1c217b6 View commit details
    Browse the repository at this point in the history

  8. address review

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    65f92a5 View commit details
    Browse the repository at this point in the history

  9. try to structurally resolve before try_resolve_slice_ty_to_array_ty

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    96af415 View commit details
    Browse the repository at this point in the history

  10. add more tests

    @b-naber
    b-naber committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    e1e7553 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. address review

    @b-naber
    b-naber committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    5a9af37 View commit details
    Browse the repository at this point in the history