summaryrefslogtreecommitdiffstats
path: root/source/slang/check.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'source/slang/check.cpp')
-rw-r--r--source/slang/check.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/source/slang/check.cpp b/source/slang/check.cpp
index 0c35c4bf4..dbbd8f283 100644
--- a/source/slang/check.cpp
+++ b/source/slang/check.cpp
@@ -3328,7 +3328,7 @@ namespace Slang
// to `interfaceDeclRef`.
//
SLANG_UNEXPECTED("reflexive type witness");
- return nullptr;
+ UNREACHABLE_RETURN(nullptr);
}
auto breadcrumbs = inBreadcrumbs;
@@ -3343,7 +3343,7 @@ namespace Slang
// because `A : B` and `B : C` then `A : C`
//
SLANG_UNEXPECTED("transitive type witness");
- return nullptr;
+ UNREACHABLE_RETURN(nullptr);
}
// Simple case: we have a single declaration
@@ -5947,7 +5947,7 @@ namespace Slang
RefPtr<Expr> visitStaticMemberExpr(StaticMemberExpr* expr)
{
SLANG_UNEXPECTED("should not occur in unchecked AST");
- return expr;
+ UNREACHABLE_RETURN(expr);
}
RefPtr<Expr> lookupResultFailure(