// 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 | |
} |