mozilla/rust — pull request #11697 by alexcrichton (2014-01-21 02:24:25+00:00)
Title: Drive kind inference with special types

The second commit has the details.