Creating instances of modes and ops: validity checks for arguments are needed
Detected in build:
Published in build:
Possibility to creating instances of modes and ops was implemented in Task #4656.
However, there are no translator-level validity checks for arguments (argument types should match ones
specified in the signature).