// RUN: %target-sil-opt %s -module-name=witness_table_redeclare | %target-sil-opt -module-name=witness_table_redeclare | %FileCheck %s | |
protocol P {} | |
struct S : P {} | |
sil_witness_table S: P module witness_table_redeclare | |
sil_witness_table S: P module witness_table_redeclare {} | |
// CHECK-LABEL: sil_witness_table S: P module witness_table_redeclare { | |
// CHECK-NEXT: } |