Searched defs:inferred (Results 1 - 1 of 1) sorted by relevance

/openjdk7/langtools/src/share/classes/com/sun/tools/javac/comp/
H A DInfer.java491 void check(List<Type> inferred, Types types) throws NoInstanceException {
492 // check that actuals conform to inferred formals
494 // check that inferred bounds conform to their bounds
496 types.subst(inferredTypes, tvars, inferred), warn);
503 // check that actuals conform to inferred formals
537 void instantiateReturnType(Type restype, List<Type> inferred, Types types) throws NoInstanceException { argument
538 //update method type with newly inferred type-arguments
539 qtype = new MethodType(types.subst(getParameterTypes(), tvars, inferred),
541 types.subst(UninferredMethodType.this.getThrownTypes(), tvars, inferred),
543 check(inferred, type
546 check(List<Type> inferred, Types types) argument
[all...]

Completed in 31 milliseconds