diff options
| author | Yong He <yonghe@outlook.com> | 2025-02-28 22:46:56 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-28 22:46:56 -0800 |
| commit | dd9d24d29c4a9e05a4510eb9959fafa0ed36618b (patch) | |
| tree | 240e2e4ecd8fc15fa835db4377670ec7fdf90e71 /source/slang/slang-ir-lower-reinterpret.cpp | |
| parent | 700c38ae7c16a49de7f720ae3b1940df5b2b4b33 (diff) | |
Allow partial specialization of existential arguments. (#6487)
* Allow partial specialization of existential arguments.
* Fix.
* Add test case for improved diagnostics.
* Fix compile error.
* Fix tests.
* Fix.
* Fix test.
* Fix compile issue.
* Fix typo.
* Address comment.
Diffstat (limited to 'source/slang/slang-ir-lower-reinterpret.cpp')
| -rw-r--r-- | source/slang/slang-ir-lower-reinterpret.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/slang/slang-ir-lower-reinterpret.cpp b/source/slang/slang-ir-lower-reinterpret.cpp index 1b733d832..88c288f28 100644 --- a/source/slang/slang-ir-lower-reinterpret.cpp +++ b/source/slang/slang-ir-lower-reinterpret.cpp @@ -79,7 +79,7 @@ struct ReinterpretLoweringContext Slang::Diagnostics::typeCannotBePackedIntoAnyValue, toType); } - if (fromTypeSize != toTypeSize && cantPack == false) + if (fromTypeSize != toTypeSize && !cantPack && !as<IRExtractExistentialType>(fromType)) { sink->diagnose( inst->sourceLoc, |