File tree 2 files changed +15
-0
lines changed
2 files changed +15
-0
lines changed Original file line number Diff line number Diff line change 7
7
8
8
f1(1 )
9
9
f1(" hello" )
10
+ f1[Boolean ](" a" )[Int ]
11
+ f1[Boolean ](1 )[Int ]
10
12
11
13
case class B [U ](x : Int )
12
14
def b [U ](x : Int ) = B [U ](x)
@@ -17,4 +19,6 @@ class A{
17
19
f2[Any ](1 )
18
20
f2[Any ][Any ](1 )
19
21
22
+ b[Int ](5 )
23
+
20
24
}
Original file line number Diff line number Diff line change
1
+ import scala .collection .mutable .AbstractSet
2
+ import scala .collection .mutable .BitSet
1
3
import scala .language .experimental .clauseInterleaving
2
4
3
5
class Params {
4
6
type U
5
7
def foo [T ](x : T )[U >: x.type <: T ](using U )[L <: List [U ]](l : L ): L = ???
6
8
def aaa (x : U ): U = ???
7
9
def bbb [T <: U ](x : U )[U ]: U = ???
10
+
11
+ foo[AbstractSet [Int ]](BitSet ())[AbstractSet [Int ]](using BitSet ())[List [AbstractSet [Int ]]](List [AbstractSet [Int ]]())
12
+ }
13
+
14
+ class Param2 extends Params {
15
+ type U = AbstractSet [Int ]
16
+
17
+ aaa(BitSet ())
18
+ bbb[BitSet ](BitSet ())[AbstractSet [Int ]]
8
19
}
You can’t perform that action at this time.
0 commit comments