2 Commits

Author	SHA1	Message	Date
Slava Pestov	305a1e42b6	RequirementMachine: Update some tests to pass with -requirement-machine-inferred-signatures=verify	2022-03-14 12:33:18 -04: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