bool DoSecondPhase (EmitContext ec, TypeInferenceContext tic, Type[] methodParameters, bool fixDependent) { bool fixed_any = false; if (fixDependent && !tic.FixDependentTypes (ref fixed_any)) return false; // If no further unfixed type variables exist, type inference succeeds if (!tic.UnfixedVariableExists) return true; if (!fixed_any && fixDependent) return false; // For all arguments where the corresponding argument output types // contain unfixed type variables but the input types do not, // an output type inference is made for (int i = 0; i < arg_count; i++) { // Align params arguments Type t_i = methodParameters [i >= methodParameters.Length ? methodParameters.Length - 1: i]; if (!TypeManager.IsDelegateType (t_i)) { if (TypeManager.DropGenericTypeArguments (t_i) != TypeManager.expression_type) continue; t_i = t_i.GetGenericArguments () [0]; } MethodInfo mi = Delegate.GetInvokeMethod (t_i, t_i); Type rtype = mi.ReturnType; #if MS_COMPATIBLE // Blablabla, because reflection does not work with dynamic types Type[] g_args = t_i.GetGenericArguments (); rtype = g_args[rtype.GenericParameterPosition]; #endif if (tic.IsReturnTypeNonDependent (mi, rtype)) score -= tic.OutputTypeInference (ec, ((Argument) arguments [i]).Expr, t_i); } return DoSecondPhase (ec, tic, methodParameters, true); }
bool DoSecondPhase (ResolveContext ec, TypeInferenceContext tic, TypeSpec[] methodParameters, bool fixDependent) { bool fixed_any = false; if (fixDependent && !tic.FixDependentTypes (ec, ref fixed_any)) return false; // If no further unfixed type variables exist, type inference succeeds if (!tic.UnfixedVariableExists) return true; if (!fixed_any && fixDependent) return false; // For all arguments where the corresponding argument output types // contain unfixed type variables but the input types do not, // an output type inference is made for (int i = 0; i < arg_count; i++) { // Align params arguments TypeSpec t_i = methodParameters [i >= methodParameters.Length ? methodParameters.Length - 1: i]; if (!TypeManager.IsDelegateType (t_i)) { if (t_i.GetDefinition () != TypeManager.expression_type) continue; t_i = TypeManager.GetTypeArguments (t_i) [0]; } var mi = Delegate.GetInvokeMethod (ec.Compiler, t_i); TypeSpec rtype = mi.ReturnType; if (tic.IsReturnTypeNonDependent (ec, mi, rtype)) score -= tic.OutputTypeInference (ec, arguments [i].Expr, t_i); } return DoSecondPhase (ec, tic, methodParameters, true); }