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