commit | 84284cbf82218a4b715afb77a6eba0e4348bf659 | [log] [tgz] |
---|---|---|
author | iarkh <irina.arkhipets@gmail.com> | Mon Jul 29 12:32:57 2019 +0700 |
committer | iarkh <irina.arkhipets@gmail.com> | Mon Jul 29 12:32:57 2019 +0700 |
tree | c6f627736aa89209a8e4c61d1dd3579c679411bc | |
parent | 6dd92c47af1237b0e02893d68dd2fe8a25b869d2 [diff] |
Additional test for the Issue #435: new test added, it checks that extension type parameter cannot be higher-order.