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

Add addition test case for "if case unsafe"

Browse Source
This commit is contained in:
Doug Gregor
2025-05-22 07:58:30 +01:00
parent abad2fae0f
commit 6a800c98b5
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
test/Unsafe/safe.swift
View File

@@ -348,4 +348,14 @@ func testSwitch(se: SomeEnum) {
case unsafe someEnumValue: break
default: break
}
if case someEnumValue = unsafe se { }
// expected-warning@-1{{expression uses unsafe constructs but is not marked with 'unsafe'}}{{11-11=unsafe }}
// expected-note@-2{{argument #0 in call to operator function '~=' has unsafe type 'SomeEnum'}}
// expected-note@-3{{argument #1 in call to operator function '~=' has unsafe type 'SomeEnum'}}
// expected-note@-4{{reference to unsafe type 'SomeEnum'}}
// expected-note@-5{{reference to unsafe var 'someEnumValue'}}
// expected-note@-6{{reference to let '$match' involves unsafe type 'SomeEnum'}}
if case unsafe someEnumValue = unsafe se { }
}