tree e104fef06e972fdcc1c677392676be71bbb01542
parent 923d6ed66b9757d43506e98ce9a1885d53ce688b
author Pavel Yaskevich <pyaskevich@apple.com> 1599503079 -0700
committer Pavel Yaskevich <pyaskevich@apple.com> 1599504291 -0700

[ConstraintSystem] Record `unable to infer base` only if hole originated from affected reference

If base type of a unresolved member reference couldn't be determined
(represented as a hole type), before recording a fix about lack of
contextual information, let's make sure that hole originated in either
base or result type of this reference, otherwise the problem is
contextual e.g. generic parameter, which supposed to act as contextual
type for a reference, couldn't be inferred.