summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/type-checker.cc20
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());
}
}