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

WIP Generic associated types in trait paths #78978

Closed
wants to merge 5 commits into from
Closed

WIP Generic associated types in trait paths #78978

wants to merge 5 commits into from

Commits on Nov 11, 2020

  1. update AST and Parser

    b-naber authored and b-naber committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    f05d70a View commit details
    Browse the repository at this point in the history

  2. add generic arguments to hir::TypeBinding and update ast lowering

    b-naber authored and b-naber committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    6e3ab5d View commit details
    Browse the repository at this point in the history

  3. include substitutions for generic parameters of associated types in p… 

    …redicates
    b-naber authored and b-naber committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    d279f5e View commit details
    Browse the repository at this point in the history

  4. add typeck tests

    b-naber committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    9e68803 View commit details
    Browse the repository at this point in the history

  5. add tests for parser

    b-naber committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    98e53ac View commit details
    Browse the repository at this point in the history