Code

[MIR] A pass to type-check MIR#31474

Code

Merged

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

arielb1:mir-typeckarielb1/rust:mir-typeckCopy head branch name to clipboard

Feb 20, 2016

Commits

Commits on Feb 19, 2016

• begin implementing mir-typeck

  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  addc653

  Copy full SHA for addc653

• add -Z mir-opt-level to disable MIR optimizations

  Show description for 999f176
  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  999f176

  Copy full SHA for 999f176

• introduce an early pass to clear dead blocks

  Show description for 67d1cf1
  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  67d1cf1

  Copy full SHA for 67d1cf1

• be more type-safe in panic/panic_bounds_check

  Show description for b7cbbc3
  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  b7cbbc3

  Copy full SHA for b7cbbc3

• tuple arguments to overloaded calls

  Show description for 6f633ef
  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  6f633ef

  Copy full SHA for 6f633ef

• make *mut T -> *const T a coercion

  Show description for 76608c8
  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  76608c8

  Copy full SHA for 76608c8

• deref the argument of overloaded MIR autoderef

  Show description for 350b50d
  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  350b50d

  Copy full SHA for 350b50d

• store the normalized types of field accesses

  Show description for 3c6f410
  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  3c6f410

  Copy full SHA for 3c6f410

• fix a few remaining bugs - make check runs!

  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  880b6c2

  Copy full SHA for 880b6c2

• type-check lvalues

  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  ae919d0

  Copy full SHA for ae919d0

• TODO -> FIXME

  

  Ariel Ben-Yehuda

  authored and

  arielb1

  committed
  a61963a

  Copy full SHA for a61963a

Commits on Feb 20, 2016

• use the FulfillmentContext and InferCtxt more correctly

  arielb1

  committed
  881249a

  Copy full SHA for 881249a

• address review comments

  arielb1

  committed
  d84658e

  Copy full SHA for d84658e