diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/type-checker.cc | 20 |
1 files changed, 5 insertions, 15 deletions
diff --git a/src/type-checker.cc b/src/type-checker.cc index 0304a09f..b823ce81 100644 --- a/src/type-checker.cc +++ b/src/type-checker.cc @@ -420,21 +420,11 @@ Result TypeChecker::OnBrTableTarget(Index depth) { if (br_table_sig_ == nullptr) { br_table_sig_ = &label_sig; } else { - if (features_.reference_types_enabled()) { - if (br_table_sig_->size() != label_sig.size()) { - result |= Result::Error; - PrintError("br_table labels have inconsistent arity: expected %" PRIzd - " got %" PRIzd, - br_table_sig_->size(), label_sig.size()); - } - } else { - if (*br_table_sig_ != label_sig) { - result |= Result::Error; - PrintError( - "br_table labels have inconsistent types: expected %s, got %s", - TypesToString(*br_table_sig_).c_str(), - TypesToString(label_sig).c_str()); - } + if (*br_table_sig_ != label_sig) { + result |= Result::Error; + PrintError("br_table labels have inconsistent types: expected %s, got %s", + TypesToString(*br_table_sig_).c_str(), + TypesToString(label_sig).c_str()); } } |