Code

Use bound types in librustc_traits#55649

Code

Merged

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

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

Nov 13, 2018

Commits

Commits on Nov 13, 2018

• Replace type params with bound vars in `rustc_traits::lowering`

  scalexm

  committed
  64aac8d

  Copy full SHA for 64aac8d

• Pretty print quantified goals and clauses

  scalexm

  committed
  eacebf2

  Copy full SHA for eacebf2

• Adjust documentation

  scalexm

  committed
  79ba84f

  Copy full SHA for 79ba84f

• Provide program clauses for builtin types

  scalexm

  committed
  3510805

  Copy full SHA for 3510805

• Bypass ppaux for `Outlives` predicates

  scalexm

  committed
  239df7b

  Copy full SHA for 239df7b

• Reorder code in `rustc::traits::structural_impls`

  scalexm

  committed
  156a932

  Copy full SHA for 156a932

• Use a dummy outlives requirement for `where Type:,` (see #53696)

  Show description for 79b6c41
  scalexm

  committed
  79b6c41

  Copy full SHA for 79b6c41

• Instantiate all bound vars existentially

  scalexm

  committed
  afa884c

  Copy full SHA for afa884c

• Fix ui tests

  scalexm

  committed
  8d0b969

  Copy full SHA for 8d0b969