diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-08-02 14:34:42 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-08-02 14:34:42 +0100 |
| commit | 6fbb580910e954ca14ece69199a75f1f483880e7 (patch) | |
| tree | 963917a0bbb79483a7e7c18882bb81b5514eef68 /examples/13-custom-code/output/java | |
| parent | ff49a4cd2231787867b4aafc95bd5705057bfcc3 (diff) | |
Check that receiver of type-level args is type constructor
Diffstat (limited to 'examples/13-custom-code/output/java')
0 files changed, 0 insertions, 0 deletions