rust-lang/rfcs — pull request #351 by aturon (2014-10-03 18:29:20+00:00)
Title: RFC #70: Added details about downcasting

Thanks to a disconnect, this didn't manage to land before the RFC was merged, but this change was part of the agreed-upon plan for the RFC.