Commit Graph

5 Commits

Author SHA1 Message Date
Anthony Latsis
bc4a3465a9 Gardening: Migrate test suite to GH issues: Generics 2022-08-30 01:49:59 +03:00
Holly Borla
12459cff80 [Diagnostics] Print 'any' in diagnostic arguments. 2022-03-05 14:26:45 -08:00
Pavel Yaskevich
6fbfe30c10 [TypeChecker] NFC: Add a test-case for rdar://problem/22046487 2019-12-04 14:47:02 -08:00
Doug Gregor
4a358bafb5 [GSB] Merge layout constraints when merging equivalence classes.
Fixes SR-7168 / rdar://problem/38394648.
2018-03-16 13:11:49 -07:00
Doug Gregor
ee99c8af99 [Type checker] Validate class constraints for generic arguments of types.
Class constraints (spelled T: AnyObject) on generic types were not
getting checked on generic arguments. This appears to be a regression
introduced in Swift 4.0 with the removal of AnyObject, leading to a
fairly significant soundness hole that could produce crashers later
on.

Fixes SR-6841 / rdar://problem/36884025.
2018-01-25 16:34:08 -08:00