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

Interface Summary

BoundsOwner
ConstraintResolutionListener
ConstraintSystem
ConstraintSystemCompleter
ConstraintSystemSolution
SolutionStatus
TypeConstraints

Class Summary

ConstraintPosition
ConstraintsUtil
ConstraintSystemImpl
ConstraintSystemWithPriorities
DebugConstraintResolutionListener
InferenceErrorData
InferenceErrorData.ExtendedInferenceErrorData
PrintingConstraintResolutionListener
SubtypingConstraint
TypeConstraintsImpl
TypeValue

Enum Summary

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