org.jetbrains.jet.lang.resolve.calls.inference
Interfaces 
ConstraintSystem
ConstraintSystemCompleter
ConstraintSystemStatus
TypeBounds
Classes 
ConstraintPosition
ConstraintPosition.CompoundConstraintPosition
ConstraintsUtil
ConstraintSystemImpl
InferenceErrorData
SubtypingConstraint
TypeBounds.Bound
TypeBoundsImpl
Enums 
ConstraintSystemImpl.ConstraintKind
ConstraintType
TypeBounds.BoundKind