commit | 299a106d56959332d835d28c035ed2fa0c14f664 | [log] [tgz] |
---|---|---|
author | Sergey G. Grekhov <sgrekhov22@gmail.com> | Wed Feb 07 14:46:46 2024 +0200 |
committer | GitHub <noreply@github.com> | Wed Feb 07 13:46:46 2024 +0100 |
tree | 4f3ccb07c2264deca7c2576813bd09ef637f3c95 | |
parent | 1b203ce5a95a8271545bf3eec6cf89d13b92b1b8 [diff] |
#2522. Move subtyping tests to TypeSystem dir (#2525)