5 Commits

Author	SHA1	Message	Date
Holly Borla	609733bb88	[SE-0361] Update tests for bound generic extensions.	2022-06-30 17:25:17 -07:00
Slava Pestov	dac8d666ee	Stop passing -requirement-machine-{abstract,inferred,protocol}-signatures flags in tests ... These flags are now no-ops.	2022-05-10 12:56:17 -04:00
Allan Shortlidge	747f286b8d	ModuleInterface: Adopt new swiftinterface verification lit substitutions pervasively in tests where they can be adopted by simply updating or adding a few RUN: lines.	2022-04-15 20:13:00 -07:00
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