Code

universes refactor 3#55305

Code

Merged

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

nikomatsakis:universes-refactor-3nikomatsakis/rust:universes-refactor-3Copy head branch name to clipboard

Nov 2, 2018

Commits

Commits on Oct 27, 2018

• move `PlaceholderIndices` into `MirTypeckRegionConstraints` struct

  nikomatsakis

  committed
  018c515

  Copy full SHA for 018c515

• convert placeholder region vids in NLL mode as we see them

  nikomatsakis

  committed
  784746f

  Copy full SHA for 784746f

• allow canonicalized regions to carry universe and track max-universe

  Show description for 3ef27d8
  nikomatsakis

  committed
  3ef27d8

  Copy full SHA for 3ef27d8

• extend query response to potentially contain fresh universes

  Show description for 7f9ab60
  nikomatsakis

  committed
  7f9ab60

  Copy full SHA for 7f9ab60

• when canonicalizing query responses, preserve infer-var universes

  nikomatsakis

  committed
  80d9f8b

  Copy full SHA for 80d9f8b

• distinguish user-type annotations from other annotations

  Show description for bf51840
  nikomatsakis

  committed
  bf51840

  Copy full SHA for bf51840

• apply minimum bounds when checking closure signature

  Show description for d4e4e37
  nikomatsakis

  committed
  d4e4e37

  Copy full SHA for d4e4e37

• select.rs: rustfmt

  nikomatsakis

  committed
  b24b887

  Copy full SHA for b24b887

• error_reporting/mod.rs: rustfmt

  nikomatsakis

  committed
  a1be20c

  Copy full SHA for a1be20c

Commits on Oct 31, 2018

• fix bug in NLL error reporting

  Show description for 740117f
  nikomatsakis

  committed
  740117f

  Copy full SHA for 740117f

• kill old-style-lub warnings

  nikomatsakis

  committed
  c244fd7

  Copy full SHA for c244fd7