remove type traversal for mir constants r? `@oli-obk` cc `@b-naber`
For more information about how rustc works, see the rustc dev guide.
bors