Lines Matching refs:actual
395 Type actual = actuals.head.baseType();
397 if (actual.tag == FORALL)
398 actual = instantiateArg((ForAll)actual, formal, tvars, warn);
401 ? types.isConvertible(actual, undetFormal, warn)
402 : types.isSubtypeUnchecked(actual, undetFormal, warn);
421 Type actual = actuals.head.baseType();
423 if (actual.tag == FORALL)
424 actual = instantiateArg((ForAll)actual, elemType, tvars, warn);
425 boolean works = types.isConvertible(actual, elemUndet, warn);