Slava Pestov e99607c421 Sema: Use ConstraintKind::Bind where possible instead of ::Equal ...

Solving Bind is a little easier than Equal. The only remaining uses of Equal
are in the .member syntax and keypaths; if we can refactor those, we might be
able to simplify LValue handling in the type checker in general.

2019-01-14 14:55:16 -05:00

223 KiB

Raw Blame History

View Raw