-
Notifications
You must be signed in to change notification settings - Fork 10.5k
[Concurrency] Fix SendableMetatype
conformance failures to behave l…
#82004
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
lib/Sema/TypeCheckConcurrency.cpp
Outdated
/// Sendable. | ||
static void addSendableFixIt(const GenericTypeParamDecl *genericArgument, | ||
InFlightDiagnostic &diag) { | ||
addProtocolFixIt(genericArgument, diag, "Sendable"); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
minor nit, is it worth doing getProtocolName(KnownProtocolKind::Sendable)
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oh, good idea!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
✅
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fantastic, thank you!
@@ -5943,6 +5943,8 @@ ERROR(concurrent_value_inherit,none, | |||
(bool, DeclName)) | |||
ERROR(non_sendable_type,none, | |||
"type %0 does not conform to the 'Sendable' protocol", (Type)) | |||
ERROR(non_sendable_metatype_type,none, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you put this diagnostic in the new SendableMetatypes group?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sure!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
✅
@swift-ci please test |
…ike `Sendable` ones No warnings with minimal checking, warnings with `strict-concurrency=complete` and if declaration is `@preconcurrency` until next major swift version. Resolves: rdar://151911135 Resolves: swiftlang#81739
@swift-ci please test |
@swift-ci please test macOS platform |
@swift-ci please clean test Linux platform |
@swift-ci please test macOS platform |
@swift-ci please test Linux platform |
…ike
Sendable
onesNo warnings with minimal checking, warnings with
strict-concurrency=complete
and if declaration is@preconcurrency
until next major swift version.Resolves: rdar://151911135
Resolves: #81739