File tree Expand file tree Collapse file tree 2 files changed +15
-0
lines changed Expand file tree Collapse file tree 2 files changed +15
-0
lines changed Original file line number Diff line number Diff line change 77
88 f1(1 )
99 f1(" hello" )
10+ f1[Boolean ](" a" )[Int ]
11+ f1[Boolean ](1 )[Int ]
1012
1113 case class B [U ](x : Int )
1214 def b [U ](x : Int ) = B [U ](x)
@@ -17,4 +19,6 @@ class A{
1719 f2[Any ](1 )
1820 f2[Any ][Any ](1 )
1921
22+ b[Int ](5 )
23+
2024}
Original file line number Diff line number Diff line change 1+ import scala .collection .mutable .AbstractSet
2+ import scala .collection .mutable .BitSet
13import scala .language .experimental .clauseInterleaving
24
35class Params {
46 type U
57 def foo [T ](x : T )[U >: x.type <: T ](using U )[L <: List [U ]](l : L ): L = ???
68 def aaa (x : U ): U = ???
79 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 ]]
819}
You can’t perform that action at this time.
0 commit comments