Pavel Yaskevich 7c9840c204 [ConstraintSolver] When searching for viable bindings treat DynamicTypeOf constraint specially ...

When trying to find bindings let's avoid type variables which
represent left-hand side of the `DynamicTypeOf` constraint,
 because such type variables might be (implicitly) convertible to
[existential] metatype, but at the same time bound to something else
(e.g. Any), which fails when solver tries to simplify `DynamicTypeOf`
constraint itself.

2017-08-23 18:03:27 -07:00

22 KiB

Raw Blame History

View Raw