5 Commits

Author	SHA1	Message	Date
Slava Pestov	6cc12123b0	Add test case for formerly missing diagnostic ... We didn't diagnose conflicting generic signatures involving the SE-0361 syntax before https://github.com/swiftlang/swift/pull/81304. Fixes rdar://152170450.	2025-05-30 11:32:03 -04:00
Pavel Yaskevich	5e30445495	[CSSimplify] Add special handling if specialized type comes from TypeExpr ... Add a special case for `TypeExpr` due to i.e. context specialization, in such cases there is nothing for the solver to "open" so we need to form opened type map manually. Resolves: rdar://111059036	2023-06-20 21:58:04 -07:00
Anthony Latsis	0c749b2651	Gardening: Migrate test suite to GH issues: decl/ext	2022-08-26 03:26:32 +03:00
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