pub(crate) fn mir_built<'tcx>(
    tcx: TyCtxt<'tcx>,
    def: WithOptConstParam<LocalDefId>
) -> &'tcx Steal<Body<'tcx>>