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