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

188 KiB

Raw Blame History

View Raw