]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 98bbccf 6d2080c)
auto merge of #17603 : jakub-/rust/ty_bot, r=nikomatsakis
authorbors <bors@rust-lang.org>
Tue, 28 Oct 2014 22:11:56 +0000 (22:11 +0000)
committerbors <bors@rust-lang.org>
Tue, 28 Oct 2014 22:11:56 +0000 (22:11 +0000)
We now instead use a fresh variable for expressions that diverge.

Closes #14973.
Closes #13847.

[Work in progress]

cc @nikomatsakis


Trivial merge
Empowering everyone to build reliable and efficient software.