diff options
| author | Jay Kwak <82421531+jkwak-work@users.noreply.github.com> | 2025-01-23 00:06:21 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-23 00:06:21 -0800 |
| commit | a9ce7520e5f1b97b09e5de69455258bef55e10d2 (patch) | |
| tree | ab9af31ba0a52cd4dd245e19fa4323864286f551 /docs | |
| parent | 8000e0ede34e920cc7f37d69a335d74a472eff42 (diff) | |
Fix incorrect resolve of specialization instance (#6162)
* Fix incorrect resolve of specialization instance
While checking the uninitialized variables, we were not resolving the
specialized instance correctly. This commit repeats the resolve while
the result is a specialization instance. A new test is added for this:
tests/diagnostics/uninitialized-generic.slang
After the problem is fixed, it revealed another problem in existing
tests:
tests/compute/nested-generics2.slang
tests/diagnostics/uninitialized-local-variables.slang
When a struct has a member variable whose type is a generic type,
we cannot iterate over its member variables yet, because the type
is unknown until the generic function/struct is specialized. We will
have to give up checking for these cases.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions