Is this true? I thought that this just [turned on some bit](https://github.com/mozilla/rust/blob/master/src/librustc/middle/ty.rs#L2206) about the type information in `middle::ty`