path: root/tests/untried/neg/t8177a.scala

trait A { type Result }

class PolyTests {
  def wrong(x: A { type Result = Int })
             : A { type Result = String} = x
}