Code

Add support for bound types#55330

Code

Merged

bors merged 11 commits intorust-lang:masterrust-lang/rust:masterfrom

scalexm:bound-tyscalexm/rust:bound-tyCopy head branch name to clipboard

Nov 3, 2018

Commits

Commits on Nov 3, 2018

• Move `BoundTy` to `ty::TyKind`

  scalexm

  committed
  1003b7f

  Copy full SHA for 1003b7f

• Shift both late bound regions and bound types

  scalexm

  committed
  d044755

  Copy full SHA for d044755

• Rename `BoundTyIndex` to `BoundVar`

  scalexm

  committed
  3dd303a

  Copy full SHA for 3dd303a

• Rename `BoundTy` field `level` -> `index`

  scalexm

  committed
  ee569c7

  Copy full SHA for ee569c7

• Adjust bound tys indices in canonicalization

  scalexm

  committed
  1f8de94

  Copy full SHA for 1f8de94

• Remove `ReCanonical` in favor of `ReLateBound`

  scalexm

  committed
  45be1ac

  Copy full SHA for 45be1ac

• Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`

  scalexm

  committed
  d99195a

  Copy full SHA for d99195a

• Extend `ty::fold::RegionReplacer` to `ty::fold::BoundVarReplacer`

  Show description for 142359c
  scalexm

  committed
  142359c

  Copy full SHA for 142359c

• Fix doc comment

  scalexm

  committed
  af8196b

  Copy full SHA for af8196b

• Rename `as_bound_var` to `assert_bound_var`

  scalexm

  committed
  0751997

  Copy full SHA for 0751997

• Substitute binders directly

  scalexm

  committed
  c5ed72f

  Copy full SHA for c5ed72f