Searched refs:testForApplicabilityByStrictInvocation (Results 1 – 1 of 1) sorted by relevance
109 C = testForApplicabilityByStrictInvocation(Fs, es, theta); in instantiationInference()641 …private Optional<ConstraintFormulaSet> testForApplicabilityByStrictInvocation(List<ResolvedType> F… in testForApplicabilityByStrictInvocation() method in TypeInference