Pavel Yaskevich 8137c7b96a [ConstraintGraph] Split fixed binding storage into referenced by/from ...

Binding inference requires constraint propagation through to referenced
type variables, in current "fixed bindings" storage mode it is impossible
to figure out whether tracked type variables are referenced by or from
a type variable.

Splitting storage for referenced by/from also helps to provide more
meaningful debug output and make sure there are no attempts to insert
duplicate references.

2021-02-19 12:41:07 -08:00

54 KiB

Raw Blame History

View Raw