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

Add support for bound types #55330

Merged
merged 11 commits into from
Nov 3, 2018
Merged

Add support for bound types #55330

merged 11 commits into from
Nov 3, 2018
+555 −390

Commits on Nov 3, 2018

  1. Move BoundTy to ty::TyKind

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    1003b7f View commit details
    Browse the repository at this point in the history

  2. Shift both late bound regions and bound types

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    d044755 View commit details
    Browse the repository at this point in the history

  3. Rename BoundTyIndex to BoundVar

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    3dd303a View commit details
    Browse the repository at this point in the history

  4. Rename BoundTy field level -> index

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    ee569c7 View commit details
    Browse the repository at this point in the history

  5. Adjust bound tys indices in canonicalization

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    1f8de94 View commit details
    Browse the repository at this point in the history

  6. Remove ReCanonical in favor of ReLateBound

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    45be1ac View commit details
    Browse the repository at this point in the history

  7. Rename Binder::no_late_bound_regions to Binder::no_bound_vars

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    d99195a View commit details
    Browse the repository at this point in the history

  8. Extend ty::fold::RegionReplacer to ty::fold::BoundVarReplacer 

    Use the new `BoundVarReplacer` to perform canonical substitutions.
    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    142359c View commit details
    Browse the repository at this point in the history

  9. Fix doc comment

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    af8196b View commit details
    Browse the repository at this point in the history

  10. Rename as_bound_var to assert_bound_var

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    0751997 View commit details
    Browse the repository at this point in the history

  11. Substitute binders directly

    @scalexm
    scalexm committed Nov 3, 2018
    Configuration menu
    Copy the full SHA
    c5ed72f View commit details
    Browse the repository at this point in the history