/java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/
../
CheckedExceptionCompatibilityConstraint.java
ConstraintFormula.java
ExpressionCompatibilityConstraint.java
InputOutputConstraintFormula.java
LambdaExpressionCompatibilityConstraint.java
PsiMethodReferenceCompatibilityConstraint.java
StrictSubtypingConstraint.java
SubtypingConstraint.java
TypeCompatibilityConstraint.java
TypeEqualityConstraint.java