mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
b781005c0a
Fixes rdar://130016855. When preconcurrency compatibility introduces implicit `@Sendable` conversions, the `ABISafeConversionExpr` representing that conversion indicates an ABI-neutral conversion from the substituted type of the original expression, so we need to reabstract in cases where the original property is more generic than the type we're working with.
26 lines
703 B
Swift
26 lines
703 B
Swift
// RUN: %target-swift-emit-silgen -swift-version 5 -verify %s
|
|
// RUN: %target-swift-emit-silgen -swift-version 6 -verify %s
|
|
|
|
struct Text {
|
|
init<S>(_: S) where S: StringProtocol {}
|
|
}
|
|
|
|
// In Swift 5, we introduce an implicit @Sendable on the closures here.
|
|
// Make sure that doing so doesn't disrupt SILGen's lvalue emission.
|
|
// rdar://130016855
|
|
public struct Header<TitleContent> {
|
|
@preconcurrency
|
|
private let titleContent: @MainActor () -> TitleContent
|
|
|
|
init(title: String) where TitleContent == Text {
|
|
self.titleContent = {
|
|
Text(title)
|
|
}
|
|
}
|
|
|
|
func testGet() -> @MainActor () -> Text
|
|
where TitleContent == Text {
|
|
return titleContent // expected-warning * {{}}
|
|
}
|
|
}
|