2 Commits

Author	SHA1	Message	Date
Holly Borla	609733bb88	[SE-0361] Update tests for bound generic extensions.	2022-06-30 17:25:17 -07:00
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