mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
abad2fae0f
This feature is essentially self-migrating, but fit it into the migration flow by marking it as migratable, adding `-strict-memory-safety:migrate`, and introducing a test.
22 lines
711 B
Swift
22 lines
711 B
Swift
// RUN: %target-swift-frontend -typecheck -verify -swift-version 6 -strict-memory-safety:migrate %s
|
|
|
|
// REQUIRES: concurrency
|
|
|
|
@preconcurrency import _Concurrency
|
|
|
|
@unsafe func f() { }
|
|
|
|
func g() {
|
|
f() // expected-warning{{expression uses unsafe constructs but is not marked with 'unsafe'}}{{3-3=unsafe }}
|
|
// expected-note@-1{{reference to unsafe global function 'f()'}}
|
|
}
|
|
|
|
protocol P {
|
|
func f()
|
|
}
|
|
|
|
struct Conforming: P {
|
|
// expected-warning@-1{{conformance of 'Conforming' to protocol 'P' involves unsafe code; use '@unsafe' to indicate that the conformance is not memory-safe}}{{20-20=@unsafe }}
|
|
@unsafe func f() { } // expected-note{{unsafe instance method 'f()' cannot satisfy safe requirement}}
|
|
}
|