commit | 12d12b2b870d1ce3d9d03d7902b7b9a4895e3e15 | [log] [tgz] |
---|---|---|
author | Sergey G. Grekhov <sgrekhov@unipro.ru> | Fri Sep 13 17:07:13 2019 +0700 |
committer | Sergey G. Grekhov <sgrekhov@unipro.ru> | Fri Sep 13 17:07:13 2019 +0700 |
tree | 53e0f494a2c7723bfc6a7b19c1bd1f39180a678e | |
parent | 61e25be63550a4679aa06b421a1a3352db429869 [diff] |
#466. Subtyping tests for NNBD added.