a28be5cbe8
remove some functions that were only used by Miri and Miri does not need them any more with https://github.com/rust-lang/miri/pull/1805. r? ``@oli-obk``
For more information about how rustc works, see the rustc dev guide.