Pavel Yaskevich 78ea3de8e4 [AST] Introduce a new type to represent a type hole in constraint system ...

Instead of using `UnresolvedType` as a placeholder for a type hole,
let's switch over to a dedicated "rich" `HoleType` which is capable
of storing "originator" type - type variable or dependent member
type which couldn't be resolved.

This makes it easier for the solver to determine origins of
a hole which helps to diagnose certain problems better. It also
helps code completion to locate "expected type" of the context
even when it couldn't be completely resolved.

2020-08-26 16:55:39 -07:00

203 KiB

Raw Blame History

View Raw