Set ThrowExp type in semantic routine (#20596)

dlang · Dec 24, 2024 · 0b3cb48 · 0b3cb48
1 parent 31bc99f
commit 0b3cb48
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/compiler/src/dmd/expression.d b/compiler/src/dmd/expression.d
@@ -3213,7 +3213,6 @@ extern (C++) final class ThrowExp : UnaExp
     extern (D) this(const ref Loc loc, Expression e)
     {
         super(loc, EXP.throw_, e);
-        this.type = Type.tnoreturn;
     }
 
     override ThrowExp syntaxCopy()

diff --git a/compiler/src/dmd/expressionsem.d b/compiler/src/dmd/expressionsem.d
@@ -8126,6 +8126,7 @@ private extern (C++) final class ExpressionSemanticVisitor : Visitor
     {
         import dmd.statementsem;
 
+        te.type = Type.tnoreturn;
         if (throwSemantic(te.loc, te.e1, sc))
             result = te;
         else
@@ -14022,7 +14023,6 @@ Expression expressionSemantic(Expression e, Scope* sc)
         if (!e.isDeleteExp()
             && !e.isRealExp()
             && !e.isCompoundLiteralExp()
-            && !e.isThrowExp()
             && !e.isTypeExp()
             && !e.isVarExp()
         )