Slava Pestov ca6e4e6138 Sema: Clean up openGeneric() for nested generic types ...

If we had an unbound generic type whose parent was a bound
generic type, and the outer type's generic signature
placed generic constraints on outer parameters, we would
create type variables that weren't ever bound to anything.

Previously, this would never come up, but it will once
preCheckExpression() is folding more MemberRefExprs down
to TypeExprs.

2017-05-21 18:11:52 -07:00

66 KiB

Raw Blame History

View Raw