diff options
| author | Yong He <yonghe@outlook.com> | 2025-02-05 12:32:56 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-05 12:32:56 -0800 |
| commit | 7911c9437333692db275d2dff41264f4c8023be8 (patch) | |
| tree | dd83ca191f47aed0bd512dfb9412038a7b7d3f0e /source/slang/slang-check-conversion.cpp | |
| parent | 613f43a080f84e2680fb78dc4ed60a553da3b418 (diff) | |
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.
Diffstat (limited to 'source/slang/slang-check-conversion.cpp')
| -rw-r--r-- | source/slang/slang-check-conversion.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
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) |