Doug Gregor e6c91b3985 Start using BoundNameAliasType for non-generic typealiases in generic contexts ...

Currently, when we reference a (non-generic) typealias within a
generic context, we would completely lose type sugar for the
typealias, replacing it with the underlying type. Instead, use
BoundNameAliasType for this purpose, which allows us to maintain all
of the type sugar as well as storing complete substitutions for later
use.

2018-03-21 23:49:33 -07:00

454 B

Raw Permalink Blame History

View Raw