fn resolve_instance<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: ParamEnvAnd<'tcx, (DefId, SubstsRef<'tcx>)>
) -> Result<Option<Instance<'tcx>>, ErrorGuaranteed>