| // This test will crash if we end up doing unnecessary typechecking from the secondary file. | |
| // RUN: %target-swift-frontend -Xllvm -sil-full-demangle -emit-sil -primary-file %s %S/Inputs/forbid_typecheck_2.swift -debug-forbid-typecheck-prefix NOTYPECHECK | FileCheck %s | |
| // CHECK: check_unnecessary_typecheck.globalPrim | |
| let globalPrim = globalSec | |
| // CHECK: check_unnecessary_typecheck.primFn | |
| func primFn() { | |
| secFn() | |
| let _ = ClsSec().member | |
| } |