fn try_instance_mir<'tcx>(
    tcx: TyCtxt<'tcx>,
    instance: InstanceDef<'tcx>
) -> Result<&'tcx Body<'tcx>, &'static str>