Searched refs:refineWith (Results 1 – 4 of 4) sorted by relevance
32 Type Type::refineWith(Type other) const { in refineWith() function in Type
102 Type refineWith(Type other) const;
2518 else if (ast::Type mergedType = type.refineWith(initializer->getType())) in createVariableDecl()2629 } else if (ast::Type mergedTy = inferredType.refineWith(constraintType)) { in validateVariableConstraint()
873 if (currentType && !currentType.refineWith(constraintType)) in codeCompleteConstraintName()