Pavel Yaskevich 7ac754acc4 [Diagnostics] Transform incorrect generic arguments into a contexual mismatch ...

Since this kind of failure is really a conversion failure, let's
inherit from `Contextual{Mismatch, Failure}` which also helps with
storage for from/to types and their resolution.

Also let's use original types involved in conversion to form
this fix, which helps to perserve all of the original sugar.

2019-08-19 09:56:48 -07:00

288 KiB

Raw Blame History

View Raw