From 7911c9437333692db275d2dff41264f4c8023be8 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Wed, 5 Feb 2025 12:32:56 -0800
Subject: Use two-stage parsing to disambiguate generic app and comparison.
 (#6281)

* Use two-stage parsing to disambiguate generic app and comparison.

* Typo fix.

* Update doc.
---
 source/slang/slang-check-conversion.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'source/slang/slang-check-conversion.cpp')

diff --git a/source/slang/slang-check-conversion.cpp b/source/slang/slang-check-conversion.cpp
index d89997bad..6bbdc1477 100644
--- a/source/slang/slang-check-conversion.cpp
+++ b/source/slang/slang-check-conversion.cpp
@@ -1254,6 +1254,7 @@ bool SemanticsVisitor::_coerce(
             auto resultExpr = getASTBuilder()->create<MakeOptionalExpr>();
             resultExpr->loc = fromExpr->loc;
             resultExpr->type = toType;
+            resultExpr->checked = true;
             *outToExpr = resultExpr;
         }
         return true;
@@ -1379,6 +1380,7 @@ bool SemanticsVisitor::_coerce(
             derefExpr = m_astBuilder->create<DerefExpr>();
             derefExpr->base = fromExpr;
             derefExpr->type = QualType(fromElementType);
+            derefExpr->checked = true;
         }
 
         if (!_coerce(site, toType, outToExpr, fromElementType, derefExpr, &subCost))
@@ -1407,6 +1409,7 @@ bool SemanticsVisitor::_coerce(
             refExpr->base = fromExpr;
             refExpr->type = QualType(refType);
             refExpr->type.isLeftValue = false;
+            refExpr->checked = true;
             *outToExpr = refExpr;
         }
         if (outCost)
-- 
cgit v1.2.3