diff options
| author | Eduardo Julian | 2022-04-04 22:47:56 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-04 22:47:56 -0400 |
| commit | 14f18c100c2f8c3ec9c60c14330d926cd2d6f639 (patch) | |
| tree | a033abb73d7d6ca51878df76df7732e977dfabe3 /documentation/bookmark/correctness | |
| parent | 8eb86ed366b2305751f2e831c7a081ffcca82c89 (diff) | |
Properly handling variance for arrays to avoid invalid subtyping.
Diffstat (limited to 'documentation/bookmark/correctness')
0 files changed, 0 insertions, 0 deletions