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

typeck/type_of: let wfcheck handle generics in opaque types' substs. #70272

Merged
merged 6 commits into from
Apr 4, 2020
Merged

typeck/type_of: let wfcheck handle generics in opaque types' substs. #70272

merged 6 commits into from
Apr 4, 2020

Commits on Apr 4, 2020

  1. typeck/type_of: simplify checking of opaque types with multipler defi… 

    …ning uses.
    @eddyb
    eddyb committed Apr 4, 2020
    Configuration menu
    Copy the full SHA
    6465113 View commit details
    Browse the repository at this point in the history

  2. typeck/type_of: don't ignore incorrect defining uses of opaque types.

    @eddyb
    eddyb committed Apr 4, 2020
    Configuration menu
    Copy the full SHA
    a98b534 View commit details
    Browse the repository at this point in the history

  3. typeck/type_of: let wfcheck handle concrete types in opaque types' su… 

    …bsts.
    @eddyb
    eddyb committed Apr 4, 2020
    Configuration menu
    Copy the full SHA
    8e9a5d9 View commit details
    Browse the repository at this point in the history

  4. typeck/type_of: let wfcheck handle duplicate generics in opaque types… 

    …' substs.
    @eddyb
    eddyb committed Apr 4, 2020
    Configuration menu
    Copy the full SHA
    8807b00 View commit details
    Browse the repository at this point in the history

  5. tests: add tests for lifetime and const params of opaque types.

    @eddyb
    eddyb committed Apr 4, 2020
    Configuration menu
    Copy the full SHA
    ea7999b View commit details
    Browse the repository at this point in the history

  6. typeck/type_of: only early-bound and (free) late-bound lifetimes are … 

    …parameters.
    @eddyb
    eddyb committed Apr 4, 2020
    Configuration menu
    Copy the full SHA
    8ad149a View commit details
    Browse the repository at this point in the history