Defines a set of traits that is used for abstracting stable_mir’s components that are needed in rustc_smir.
These traits are really useful when programming in stable_mir-agnostic settings.