diff options
| author | Yong He <yonghe@outlook.com> | 2024-09-10 08:12:36 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-10 08:12:36 -0700 |
| commit | f51b74ddee7ec7104d021006575c601245814bb1 (patch) | |
| tree | da558dfd4be402220c74832533f4cf940deb75b2 /source | |
| parent | e8968276af65f2fc1c797223182fd7c41d086b7c (diff) | |
Fix inccorect dropping of declref during Unification of DeclaredSubtypeWitness. (#5041)
* Fix inccorect dropping of declref during Unification of DeclaredSubtypeWitness.
* Add extension test.
Diffstat (limited to 'source')
| -rw-r--r-- | source/slang/slang-check-constraint.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/slang/slang-check-constraint.cpp b/source/slang/slang-check-constraint.cpp index 90b0e44f5..b21365338 100644 --- a/source/slang/slang-check-constraint.cpp +++ b/source/slang/slang-check-constraint.cpp @@ -779,8 +779,8 @@ namespace Slang SLANG_ASSERT(constraintDecl2); return TryUnifyTypes(constraints, unifyCtx, - constraintDecl1.getDecl()->getSup().type, - constraintDecl2.getDecl()->getSup().type); + getSup(m_astBuilder, constraintDecl1), + getSup(m_astBuilder, constraintDecl2)); } } |