Searched refs:variableTyResolver (Results 1 – 1 of 1) sorted by relevance
2291 llvm::StringMap<TypeResolutionInstance> variableTyResolver; in verify() local2296 variableTyResolver); in verify()2302 handleTypesMatchConstraint(variableTyResolver, def); in verify()2318 failed(verifyResults(loc, variableTyResolver)) || in verify()2319 failed(verifyOperands(loc, variableTyResolver)) || in verify()2496 if (varResolverIt != variableTyResolver.end()) { in verifyOperands()2560 if (varResolverIt != variableTyResolver.end()) { in verifyResults()2652 variableTyResolver[values[j]] = {arg, llvm::None}; in handleAllTypesMatchConstraint()2654 variableTyResolver[values[j]] = {arg, llvm::None}; in handleAllTypesMatchConstraint()2659 llvm::StringMap<TypeResolutionInstance> &variableTyResolver, in handleSameTypesConstraint() argument[all …]