tree c6f627736aa89209a8e4c61d1dd3579c679411bc
parent 6dd92c47af1237b0e02893d68dd2fe8a25b869d2
author iarkh <irina.arkhipets@gmail.com> 1564378377 +0700
committer iarkh <irina.arkhipets@gmail.com> 1564378377 +0700

Additional test for the Issue #435: new test added, it checks that extension type parameter cannot be higher-order.