Partially implement type ascription#30184

Merged

bors merged 3 commits intorust-lang:masterfrom

petrochenkov:ascr

Dec 19, 2015

Commits on Dec 16, 2015

Implement type ascription.

eddyb
authored and
petrochenkov
committed
Add ExprType to HIR and make everything compile
petrochenkov
committed

Commits on Dec 18, 2015

Require exact type equality + add tests
petrochenkov
committed