| // RUN: %empty-directory(%t) |
| // RUN: %target-swift-frontend -Onone -parse-stdlib -parse-as-library -module-name TestModule %S/Inputs/TestModule.swift -emit-module-path %t/TestModule.swiftmodule |
| // RUN: %target-swift-frontend -O %s -I %t -emit-sil | %FileCheck %s |
| |
| // DeadFunctionElimination may not remove a method from a witness table which |
| // is imported from another module. |
| |
| // FIXME: Ever since @usableFromInline began to be enforced, this test did not |
| // test anything useful, and now the witness table is never deserialized at all. |
| |
| import TestModule |
| |
| testit(MyStruct()) |
| |
| // CHECK-NOT: sil_witness_table MyStruct: Proto module TestModule |
