Code

Simplify higher-ranked LUB/GLB#45853

Code

Merged

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

nikomatsakis:chalk-simplify-hr-lub-glbnikomatsakis/rust:chalk-simplify-hr-lub-glbCopy head branch name to clipboard

Nov 18, 2017

Commits

Commits on Nov 17, 2017

• make LUB/GLB of higher-ranked things actually do EQ

  nikomatsakis

  committed
  397973b

  Copy full SHA for 397973b

• issue better error message when LUB/GLB diverge under new behavior

  nikomatsakis

  committed
  b224397

  Copy full SHA for b224397

• strip old lub-glb tests from `librustc_driver`

  Show description for ff8cd2e
  nikomatsakis

  committed
  ff8cd2e

  Copy full SHA for ff8cd2e

• use a BTreeMap instead of an FxHasMap for the skol regions

  Show description for 9877fa0
  nikomatsakis

  committed
  9877fa0

  Copy full SHA for 9877fa0