Commit Graph

2 Commits

Author SHA1 Message Date
Slava Pestov
afd9903509 Fixed crashers don't require asserts 2017-11-14 12:19:09 -08:00
Doug Gregor
138b0361d2 [Type checker] Don't allow type variables to bind to dependent members.
When a type variable binds to an (unresolved) dependent member type,
it prevents us from inferring the type variable and adds no useful
information to the system. Refuse to bind type variables to dependent
member types.

Fixes rdar://problem/32697033.
2017-07-11 13:03:16 -07:00