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

Interfaces

• BoundsOwner
• ConstraintResolutionListener
• ConstraintSystem
• ConstraintSystemCompleter
• ConstraintSystemSolution
• SolutionStatus
• TypeConstraints

Classes

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

Enums

• ConstraintSystemImpl.ConstraintKind
• ConstraintType
• TypeConstraintsImpl.BoundKind