7 Commits

Author	SHA1	Message	Date
Doug Gregor	e24598bca1	Use a marker protocol SendableMetatype to model T.Type: Sendable ... Introduce a marker protocol SendableMetatype that is used to indicate when the metatype of a type will conform to Sendable. Specifically, `T: SendableMetatype` implies `T.Type: Sendable`. When strict metatype sendability is enabled, metatypes are only sendable when `T: SendableMetatype`. All nominal types implicitly conform to `SendableMetatype`, as do the various builtin types, function types, etc. The `Sendable` marker protocol now inherits from `SendableMetatype`, so that `T: Sendable` implies `T.Type: Sendable`. Thank you Slava for the excellent idea!	2025-02-13 22:48:05 -08:00
Doug Gregor	88b28c3ff0	Update stdlib API stability now that @unsafe addition isn't considered "breaking"	2025-01-23 07:47:20 -08:00
Doug Gregor	62d8659b15	Update API/ABI stability checker output for correctly-printed ''rethrows' ... We used to treat 'rethrows' like an attribute, printing it as '@rethrows', which was incorrect. That's fixed now, so update the API/ABI checker tests to account for that.	2024-12-15 08:21:10 -08:00
Doug Gregor	af49172b55	Mark Range.init(uncheckedBounds:) and ClosedRange.init(uncheckedBounds:) as @unsafe	2024-09-30 15:20:36 -07:00
Mike Ash	3937ceecc7	[Stdlib] Mark CVaListPointer as @unsafe. ... rdar://135604375	2024-09-10 14:49:38 -04:00
Doug Gregor	5412a8a04c	Move baseline updates over to the architecture-independent file	2024-08-19 22:14:09 -07:00
Doug Gregor	25bb3110aa	Enable API stability checking for standard library on arm64 ... This test was only enabled for x86_64.	2024-08-16 13:04:03 -07:00