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

Disallow most usages of extensions as types #8472

Draft
wants to merge 7 commits into
base: main
Choose a base branch
from
Draft

Disallow most usages of extensions as types #8472

wants to merge 7 commits into from

Commits on Oct 1, 2024

  1. Add example of split inference

    @jcouv
    jcouv committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    62ae536 View commit details
    Browse the repository at this point in the history

  2. Disallow most usages of extensions as types

    @jcouv
    jcouv committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    f766881 View commit details
    Browse the repository at this point in the history

  3. Remove type erasure

    @jcouv
    jcouv committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    31dc9b0 View commit details
    Browse the repository at this point in the history

  4. Open issue for shadowing

    @jcouv
    jcouv committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    c8e1aaa View commit details
    Browse the repository at this point in the history

  5. Document another gap

    @jcouv
    jcouv committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    d953825 View commit details
    Browse the repository at this point in the history

  6. tweaks

    @jcouv
    jcouv committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    b1ba82d View commit details
    Browse the repository at this point in the history

  7. Add details on type inference issue

    @jcouv
    jcouv committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    be59936 View commit details
    Browse the repository at this point in the history