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