Code

Refactor upvar mode inference#20432

Code

Merged

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

nikomatsakis:fn-inference-2nikomatsakis/rust:fn-inference-2Copy head branch name to clipboard

Jan 3, 2015

Commits

Commits on Jan 3, 2015

• Re-introduce `McResult<>` as a way of aborting mem-categorization (and

  Show description for f7abf47
  nikomatsakis

  committed
  f7abf47

  Copy full SHA for f7abf47

• Stop calling `bug()` in various weird cases and instead generate `Err()`.

  nikomatsakis

  committed
  9c54d86

  Copy full SHA for 9c54d86

• Be more tolerant of errors in EUV so we can run it during typeck.

  nikomatsakis

  committed
  429d9cc

  Copy full SHA for 429d9cc

• Modify `type_known_to_meet_builtin_bound` so that it doesn't suppress overflow,

  Show description for 83ef304
  nikomatsakis

  committed
  83ef304

  Copy full SHA for 83ef304

• Make `ty::ParameterEnvironment`, not `ty::ctxt`, implement `Typer` and

  Show description for 7474be0
  nikomatsakis

  committed
  7474be0

  Copy full SHA for 7474be0

• Move upvar checking into its own pre-pass that occurs before regionck

  Show description for ecd9c10
  nikomatsakis

  committed
  ecd9c10

  Copy full SHA for ecd9c10

• Running EUV requires the Copy lang item, so adjust privacy tests.

  nikomatsakis

  committed
  09a7bc5

  Copy full SHA for 09a7bc5

• "Fallout": Slightly different errors are generated in this edge case.

  nikomatsakis

  committed
  cbeff8b

  Copy full SHA for cbeff8b