rust-lang/rust — pull request #16635 by steveklabnik (2014-08-20 20:57:01+00:00)
Title: Make note that Ordering is builtin.

This way people won't try to copy/paste it in.

This is provided as an alternate solution to #16003. What do you think, @treeman?