Doug Gregor 53bfcbc96d [Serialization] Stop serializing “inherited” types of an associated type ...

The “inherited” types of an associated type are only needed to
type-check an associated type in the context of its protocol.
Once that is complete, the requirement signature of the protocol
is the “truth”, and we no longer rely on the “inherited” types.
Stop serializing them.

2017-09-08 17:07:09 -07:00

46 KiB

Raw Blame History

View Raw