diff options
Diffstat (limited to 'tests/pos/i2201b.scala')
-rw-r--r-- | tests/pos/i2201b.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/pos/i2201b.scala b/tests/pos/i2201b.scala new file mode 100644 index 000000000..4aafc0d28 --- /dev/null +++ b/tests/pos/i2201b.scala @@ -0,0 +1,14 @@ +trait X +trait Y + +object Test { + type One[A <: X, B <: Y] + + type Two[TA <: Y, TB <: X] = One[TB, TA] + + def foo[M[_ <: Y, _ <: X]](x: M[_ <: Y, _ <: X]) = x + + val a: Two[Y, X] = ??? + + foo(a) +} |