2
sealed trait Bar extends Foo
3
sealed trait W[T >: Bar <: Foo]
4
case class X() extends W[Foo]
5
case class XX() extends W[Bar]
6
case class Y() extends W[Bar]
7
case class Z[T >: Bar <: Foo](
12
// should fail for including X()
13
def f1(w: W[Bar]): Int = {
b'\\ No newline at end of file'