Package org.jetbrains.jet.lang.resolve.calls.inference

Interface Summary

BoundsOwner
ConstraintSystem
ConstraintSystemCompleter
ConstraintSystemStatus
TypeBounds

Class Summary

ConstraintPosition
ConstraintPosition.CompoundConstraintPosition
ConstraintsUtil
ConstraintSystemImpl
InferenceErrorData
SubtypingConstraint
TypeBounds.Bound
TypeBoundsImpl
TypeValue

Enum Summary

ConstraintSystemImpl.ConstraintKind
ConstraintType	A specific type for subtype constraint of types.
TypeBounds.BoundKind