Code

Add placeholder types#55921

Code

Merged

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

scalexm:placeholdersscalexm/rust:placeholdersCopy head branch name to clipboard

Nov 25, 2018

Commits

Commits on Nov 24, 2018

• Distinguish between placeholder kinds

  scalexm

  committed
  7401e3d

  Copy full SHA for 7401e3d

• Introduce `TyKind::Placeholder` variant

  scalexm

  committed
  05995a8

  Copy full SHA for 05995a8

• Rename some occurences of `skol` to `placeholder`

  scalexm

  committed
  da3def3

  Copy full SHA for da3def3

• Add `HAS_TY_PLACEHOLDER` flag

  scalexm

  committed
  91623ca

  Copy full SHA for 91623ca

• Handle placeholder types in canonicalization

  scalexm

  committed
  cdb96be

  Copy full SHA for cdb96be

• Instantiate all bound vars universally

  scalexm

  committed
  6bf17d2

  Copy full SHA for 6bf17d2

• Move `BoundTy` debruijn index to the `TyKind` enum variant

  scalexm

  committed
  95861b1

  Copy full SHA for 95861b1

• Implement some instantiate / canonical routines

  scalexm

  committed
  5b2baa8

  Copy full SHA for 5b2baa8

• Fix `ChalkInferenceContext::into_hh_goal`

  scalexm

  committed
  c0f98e8

  Copy full SHA for c0f98e8

• Fix NLL ui test

  scalexm

  committed
  4478dce

  Copy full SHA for 4478dce

• Try to work around #53332 in `src/test/run-pass/rustc-rust-log.rs`

  scalexm

  committed
  b8a30f0

  Copy full SHA for b8a30f0