trait Foo {
        type bar
        val x : bar
        def break(): x.type
}