try_normalize_mir_const_after_erasing_regions
For more information about how rustc works, see the rustc dev guide.