Implicit super arguments is deprecated

Closes #1232