averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #82452 from swiftlang/jepa2

Browse Source 
Sema: Fix the insertion location for conformances attributes
This commit is contained in:
Anthony Latsis
2025-06-26 21:38:41 +01:00
committed by GitHub
parent 76fd74753b 8e250f3edf
commit 1f89bb6a94
18 changed files with 323 additions and 89 deletions
Download Patch File Download Diff File Expand all files Collapse all files

41
test/Unsafe/unsafe.swift
View File

@@ -53,6 +53,47 @@ extension ConformsToMultiP: MultiP {
}
}
// Make sure we correctly apply the conformance attribute for more complex
// inheritance entries.
do {
protocol SafeP {}
struct Nested {
protocol P { func f() }
protocol Q { func f() }
}
do {
// expected-warning@+1 {{conformance of 'S' to protocol 'P' involves unsafe code; use '@unsafe' to indicate that the conformance is not memory-safe}}{{15-15=@unsafe }}
struct S: Nested.P {
@unsafe func f() {}
// expected-note@-1 {{unsafe instance method 'f()' cannot satisfy safe requirement}}
}
}
do {
// Attribute inserted *before* 'nonisolated'.
struct S: nonisolated Nested.P {
// expected-warning@-1 {{conformance of 'S' to protocol 'P' involves unsafe code; use '@unsafe' to indicate that the conformance is not memory-safe}}{{15-15=@unsafe }}
@unsafe func f() {}
// expected-note@-1 {{unsafe instance method 'f()' cannot satisfy safe requirement}}
}
}
do {
// expected-warning@+2 {{conformance of 'S' to protocol 'P' involves unsafe code; use '@unsafe' to indicate that the conformance is not memory-safe}}{{15-15=@unsafe }}
// expected-warning@+1 {{conformance of 'S' to protocol 'Q' involves unsafe code; use '@unsafe' to indicate that the conformance is not memory-safe}}{{15-15=@unsafe }}
struct S: Nested.P & Nested.Q {
@unsafe func f() {}
// expected-note@-1 2 {{unsafe instance method 'f()' cannot satisfy safe requirement}}
}
}
do {
// FIXME: We shouldn't be applying nonisolated to both protocols.
// expected-warning@+1 {{conformance of 'S' to protocol 'P' involves unsafe code; use '@unsafe' to indicate that the conformance is not memory-safe}}{{15-15=@unsafe }}
struct S: Nested.P & SafeP {
@unsafe func f() {}
// expected-note@-1 {{unsafe instance method 'f()' cannot satisfy safe requirement}}
}
}
}
protocol GenericP {
associatedtype Ptr