diff options
| author | Darren Wihandi <65404740+fairywreath@users.noreply.github.com> | 2025-01-28 21:24:35 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-29 02:24:35 +0000 |
| commit | cf66563cfdcff9b7d76017e5b73319705ccdb735 (patch) | |
| tree | 41c8a5d3706a912049a8c491fd2e7d593d4aa450 /tests/language-feature/interfaces/non-static-method-implemented-by-static.slang.expected.txt | |
| parent | 1f99c2086cab3a259c786373ba8d5608e0e1f430 (diff) | |
Fix exact-match witness synthesis for static functions (#6204)
* fix non-static methods when trying to synthesize method requirement witness
* add tests
* update test
* improve test
---------
Co-authored-by: Yong He <yonghe@outlook.com>
Diffstat (limited to 'tests/language-feature/interfaces/non-static-method-implemented-by-static.slang.expected.txt')
| -rw-r--r-- | tests/language-feature/interfaces/non-static-method-implemented-by-static.slang.expected.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/language-feature/interfaces/non-static-method-implemented-by-static.slang.expected.txt b/tests/language-feature/interfaces/non-static-method-implemented-by-static.slang.expected.txt new file mode 100644 index 000000000..42d1e8278 --- /dev/null +++ b/tests/language-feature/interfaces/non-static-method-implemented-by-static.slang.expected.txt @@ -0,0 +1,6 @@ +type: int32_t +5 +5 +8 +8 +10 |