rust-lang/rust — pull request #17603 by jakub- (2014-09-28 02:28:26+00:00)
Title: Remove ty_bot from the type system

We now instead use a fresh variable for expressions that diverge.

Closes #14973.
Closes #13847.

[Work in progress]

cc @nikomatsakis