| // RUN: %empty-directory(%t) | |
| // RUN: %target-swift-frontend -emit-module -o %t/single_int.swiftmodule %S/Inputs/single_int.swift | |
| // RUN: not %target-swift-frontend -typecheck %s -I %t 2>&1 | %FileCheck %s | |
| @testable import single_int // CHECK: module 'single_int' was not compiled for testing | |
| x = 8 // CHECK-NOT: unresolved identifier |