packagedotty_exampleobjectMainextendsFoo("Hello Dotty - trait parameters, yay"){defmain(args:Array[String]):Unit={println(hello)// Sanity check the classpath: this won't run if the dotty jar is not present.valx:Int=>Int=z=>zx(1)}}traitFoo(valhello:String)