git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

projects / rust.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 4be7214) | patch

author	David Wood <david@davidtw.co>
	Sun, 25 Nov 2018 12:31:34 +0000 (13:31 +0100)
committer	David Wood <david@davidtw.co>
	Sun, 30 Dec 2018 13:30:58 +0000 (14:30 +0100)
commit	162dcdc16f9b004b35160c9dd69faab29fc459e4
tree	120ff2dcd3fd288b7719adb73b97374bd469a0d0	tree \| snapshot
parent	4be7214d30b121762c8675c3e732083da262b136	commit \| diff

Add user type annotations to MIR dump.

This commit writes the user type annotations to the MIR dump so that
they are visible again.

src/librustc_mir/borrow_check/nll/mod.rs		diff \| blob \| history
src/librustc_mir/util/pretty.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.