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

Implement Return Type Notation (RTN)'s path form in where clauses #129629

Merged
merged 7 commits into from
Sep 22, 2024
Merged

Implement Return Type Notation (RTN)'s path form in where clauses #129629

merged 7 commits into from
Sep 22, 2024

Commits on Sep 21, 2024

  1. Resolve RTN for TyKind::Path ending in (..)

    @compiler-errors
    compiler-errors committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    6d788a1 View commit details
    Browse the repository at this point in the history

  2. Conditionally allow lowering RTN (..) in paths

    @compiler-errors
    compiler-errors committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    19881b5 View commit details
    Browse the repository at this point in the history

  3. Implement RTN in resolve_bound_vars and HIR ty lowering

    @compiler-errors
    compiler-errors committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    51b51bb View commit details
    Browse the repository at this point in the history

  4. Flesh out some TODOs

    @compiler-errors
    compiler-errors committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    7c8e281 View commit details
    Browse the repository at this point in the history

  5. Add missing diagnostics and flesh out tests

    @compiler-errors
    compiler-errors committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    174c3f9 View commit details
    Browse the repository at this point in the history

  6. Resolve self type alias in impl for RTN

    @compiler-errors
    compiler-errors committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    af24d0b View commit details
    Browse the repository at this point in the history

  7. More tests and tweak comments

    @compiler-errors
    compiler-errors committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    1de894f View commit details
    Browse the repository at this point in the history