Closed
Description
Much of the implementation work for rust-lang/rfcs#1052 has been done, but there remain some corner cases to fix:
- Casts between raw pointers to different traits are accepted but should not be (e.g. http://is.gd/1jCOSz)
- Double-check other cases, ensure adequate tests exist