33fc681711 ^
1 2 3 4 5 6
t8177a.scala:5: error: type mismatch; found : A{type Result = Int} required: A{type Result = String} : A { type Result = String} = x ^ one error found