diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-01-05 23:34:10 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-01-05 23:34:10 +0000 |
| commit | 87a5266dc5224abe7d2755f6b5072898ce18aeb2 (patch) | |
| tree | 2fd1c3ce54c47f1cbe04962f181e3caf9c4c1e2f /src/test/java | |
| parent | c9370b6a47604e9d0af6adf482651611a4f01dbb (diff) | |
Simplify handling of constructed type subtyping
Diffstat (limited to 'src/test/java')
0 files changed, 0 insertions, 0 deletions