commit | 82a39a403e10f5742b8ec4169255221bf02f38cc | [log] [tgz] |
---|---|---|
author | Sergey G. Grekhov <sgrekhov@unipro.ru> | Thu Sep 19 14:40:06 2019 +0700 |
committer | Sergey G. Grekhov <sgrekhov@unipro.ru> | Thu Sep 19 14:40:06 2019 +0700 |
tree | 19b7eb1a4faedbc217036fb4018db397468e3138 | |
parent | fd885b7bcc28fde7ca50bff1bc6a96c1ce8e7091 [diff] |
#466. Some subtyping tests adopted for NNBD