Bytecode sees no difference between `val a = foo(...

# announcements

[karelpeeters]

Bytecode sees no difference between val a = foo(); super(a) and super(foo()), so it's not really possible to enforce.