Currently, this document contains some basic terms that are common for different specific inference types. Lately, it might be extended to include some basic description of how inference works.
An instance of org.jetbrains.kotlin.resolve.calls.inference.model.NewConstraintSystemImpl
A tree of calls, in which constraint systems are joined and solved(completed) together
A constraint that doesn't reference any type variables