summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/passes/Inlining.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/passes/Inlining.cpp b/src/passes/Inlining.cpp
index 2f48ff299..3ae63face 100644
--- a/src/passes/Inlining.cpp
+++ b/src/passes/Inlining.cpp
@@ -765,8 +765,8 @@ struct FunctionSplitter {
return InliningMode::Uninlineable;
}
} else {
- // This is an if without an else, and so the type is either none of
- // unreachable;
+ // This is an if without an else, and so the type is either none or
+ // unreachable, and we ruled out none before.
assert(iff->ifTrue->type == Type::unreachable);
}
}