File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
compiler/test-resources/repl Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 11scala> object Foo1 { type T[+A] = (A, Int) }
22// defined object Foo1
3- scala> object Foo2 { type T[+A] = [+B] => (A, B) }
3+ scala> object Foo2 { type T[+A] = [+B] =>> (A, B) }
44// defined object Foo2
5- scala> object Foo3 { type T[+A] = [+B] => [C] => (A, B) }
5+ scala> object Foo3 { type T[+A] = [+B] =>> [C] => > (A, B) }
66// defined object Foo3
77scala> ((1, 2): Foo1.T[Int]): Foo1.T[Any]
88val res0: (Any, Int) = (1,2)
@@ -14,7 +14,7 @@ scala> (1, 2): Foo3.T[Int][Int]
1414 | Missing type parameter for Foo3.T[Int][Int]
1515scala> ((1, 2): Foo3.T[Int][Int][Int]): Foo3.T[Any][Int][Int]
1616val res2: (Any, Int) = (1,2)
17- scala> object Foo3 { type T[A] = [B] => [C] => (A, B) }
17+ scala> object Foo3 { type T[A] = [B] =>> [C] => > (A, B) }
1818// defined object Foo3
1919scala> ((1, 2): Foo3.T[Int][Int][Int])
2020val res3: (Int, Int) = (1,2)
You can’t perform that action at this time.
0 commit comments