Robert Widmann 25ab410896 Implement (Sugared) Bound Generic Extensions ...

A scoped-down version of #39307. Implement extension of bound generic types. The important bit here is in TypeCheckGeneric where we now use the underlying type of a typealias and its associated nominal type decl when we're generating substitutions for the extended type.

Put this behind a new experimental flag

-enable-experimental-bound-generic-extensions

Resolves SR-4875
Resolves rdar://17434633

2022-02-02 17:05:23 -08:00

94 KiB

Raw Blame History

View Raw