Commit Graph

3 Commits

Author SHA1 Message Date
Pavel Yaskevich
73d658ae5a [Concurrency] Allow witnesses to adopt concurrency before requirements
Allow witnesses to introduce `any Sendable` types into their interface
before requirements (predicated on presence of `@preconcurrency` and
Swift 5 language mode) as a pathway for concurrency adoption.

Resolves: rdar://134503878
2024-11-06 15:24:36 -08:00
Pavel Yaskevich
6c1fc03c87 [TypeChecker] Limit sendability downgrade to preconcurrency requirements only 2024-09-04 14:54:41 -07:00
Pavel Yaskevich
9a3d1b7eb4 [TypeChecker] Warn if witness mismatches only on sendability until Swift 6 mode
This expands the downgrade for Objective-C requirements to all requirements
until strict concurrency checking is enabled (either via a flag in Swift 5
language mode or by switching to Swift 6 language mode).

Resolves: rdar://134503878
2024-09-04 14:38:06 -07:00