tree d51bb8d88316ce28513a9e77372b4d8adb31778e
parent 45f42644e4adf6da437a546fe5aae4075cfdc1e1
author sgrekhov <sgrekhov@unipro.ru> 1641803222 +0700
committer sgrekhov <sgrekhov@unipro.ru> 1641803222 +0700

Fixes #1256. Use correct type of super parameters. Expect an error if the type is wrong