Doug Gregor f68f87a56a [Constraint solver] After binding a type variable, activate affected constraints ...

Once we've bound a type variable, we find those inactive constraints
that mention the type variable and make them active, so they'll be
simplified again. However, we weren't finding *all* constraints that
could be affected---in particular, we weren't searching everything
related to the type variables in the equivalence class, which meant
that some constraints would not get visited... and we would to
type-check simply because we didn't look at a constraint again when we
should have.

Fixes rdar://problem/29633747.

2016-12-14 20:18:04 -08:00

284 KiB

Raw Blame History

View Raw