1 2 3 4
trait T { // should not compile, because it would result in a VerifyError @native def foo = ??? }