]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: d41f21f ed73a32)
Auto merge of #53225 - nikomatsakis:nll-type-annot, r=pnkfelix
authorbors <bors@rust-lang.org>
Fri, 24 Aug 2018 22:42:00 +0000 (22:42 +0000)
committerbors <bors@rust-lang.org>
Fri, 24 Aug 2018 22:42:00 +0000 (22:42 +0000)
commitd95f078f0af28203c379365574a433ca5b79e9d8
treeedc38cee7233726cedd15b68fc01cf8874116d36tree | snapshot
parentd41f21f11a249ad78990eb9a1ec899ec123c7136commit | diff
parented73a3267a648cffb92f60e50aa75a6547d9955dcommit | diff
Auto merge of #53225 - nikomatsakis:nll-type-annot, r=pnkfelix

MIR: support user-given type annotations on fns, structs, and enums

This branch adds tooling to track user-given type annotations on functions, structs, and enum variant expressions. The user-given types are passed onto NLL which then enforces them.

cc #47184 — not a complete fix, as there are more cases to cover

r? @eddyb
cc @rust-lang/wg-compiler-nll
src/librustc/mir/mod.rs diff1 | diff2 | blob | history
src/librustc_typeck/astconv.rs diff1 | diff2 | blob | history
src/librustc_typeck/check/mod.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.