Pavel Yaskevich 8f68a68c70 [ConstraintSystem] Augment getCalleeLocator with getType callback ...

This is necessary for ambiguity diagnostics because none of the
solutions are applied back to the constraint system which means
that `getCalleeLocator` needs an ability to query information
from different sources e.g. constraint system and/or solution.

2020-01-14 00:09:32 -08:00

145 KiB

Raw Blame History

View Raw