object Main extends App { trait T { type N } def f(x: T): Unit = { val a: x.N = ??? val b: x.type#N = a }}
Standard input is empty
Standard output is empty
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!