t8177e.scala « pos « files « test - scala - The Scala programming language

summary refs log tree commit diff

path: root/test/files/pos/t8177e.scala

blob: cb1136ff117b44097929405bb140030dc0708fc1 (plain) (blame)

1
2
3

// exercise coevolveSym
trait T[A] { val foo: { type B = A } = ???; def bar(b: foo.B) = () }
object O extends T[Int] { bar(0) }