| // RUN: %target-repl-run-simple-swift -enable-verify-exclusivity -enforce-exclusivity=checked | %FileCheck %s | |
| // REQUIRES: asserts | |
| // REQUIRES: OS=macosx | |
| // REQUIRES: swift_repl | |
| // Test the combination of SILGen + DiagnoseStaticExclusivity with verification. | |
| // | |
| // This augments access_marker_verify with tests that require the repl. | |
| // Global variable initialization is different in the repl. | |
| // CHECK: glob_i8 : Int8 = 8 | |
| var glob_i8: Int8 = 8 |