7bf29f00c ^
14d506a86 ^
1 2 3 4 5
6 7 8 9 10
11 12 13
class HelloWorld { def main(args: Array[String]): Unit = { object TypeBool; class Fct { def g(x : Int) = TypeBool } trait Fct2 { def g(x : Int) = TypeBool } } }