kotlin-fork/docs/fir/inference.md at a5bf8787a128663e892d8da84befc022ac8fb0a4

Files

T

Denis.Zharkov a02cb16fb2 K2: Rewrite delegate inference

The main idea is getting rid of stub types and using just type variables
See more detailed description at docs/fir/delegated_property_inference.md

The problem with stub types is that they need really special treatment
in many places, and on the other hand, there are no clear contracts on
how they should work (that regularly leads to bugs like KT-59529)

^KT-61060 Fixed
^KT-61075 Fixed
^KT-61077 Fixed
^KT-59529 Fixed
^KT-61633 Related
^KT-61618 Related
^KT-61740 Related
^KT-59107 Related
^KT-61747 Related
^KT-61077 Related
^KT-61781 Related

2023-09-08 07:11:48 +00:00

521 B

Raw Blame History

Inference

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.

Glossary

CS = Constraint system

An instance of org.jetbrains.kotlin.resolve.calls.inference.model.NewConstraintSystemImpl

Call-tree

A tree of calls, in which constraint systems are joined and solved(completed) together

Proper constraint

A constraint that doesn't reference any type variables

521 B Raw Blame History