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 clipboardNov 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