@@ -4,29 +4,29 @@ package refinedFunctionTypes
4
4
import annotation .experimental
5
5
6
6
@ experimental
7
- infix type $throws [R , + E <: Exception ] = CanThrow [E ] ?=> R
7
+ infix type $throws [R , + E <: Exception ] = CanThrow [E ] ?=> R // expected: @experimental infix type $throws[R, +E <: Exception] = CanThrow[E] ?=> R
8
8
9
9
@ experimental
10
- infix type $throws2 [+ E <: Exception ] = (c : CanThrow [E ]) ?=> c.type
10
+ infix type $throws2 [+ E <: Exception ] = (c : CanThrow [E ]) ?=> c.type // expected: @experimental infix type $throws2[+E <: Exception] = (c: CanThrow[E]) ?=> c.type
11
11
12
12
@ experimental
13
- infix type $throws3 [+ E <: Exception ] = [T ] => (c : CanThrow [E ]) ?=> c.type
13
+ infix type $throws3 [+ E <: Exception ] = [T ] => (c : CanThrow [E ]) ?=> c.type // expected: @experimental infix type $throws3[+E <: Exception] = [T] => (c: CanThrow[E]) ?=> c.type
14
14
15
15
@ experimental
16
- infix type $throws4 [+ E <: Exception ] = [T ] => (c : CanThrow [E ]) ?=> T // expected: infix type $throws4[+E <: Exception] = [T] => CanThrow[E] ?=> T
16
+ infix type $throws4 [+ E <: Exception ] = [T ] => (c : CanThrow [E ]) ?=> T // expected: @experimental infix type $throws4[+E <: Exception] = [T] => CanThrow[E] ?=> T
17
17
18
18
type TA1 = (a : Int , b : (Boolean , String )) => List [(a.type , b.type )]
19
19
20
20
type TA2 = (a : Int , b : (Boolean , String )) ?=> List [Boolean ]
21
21
22
22
@ experimental
23
- type TB0 = [R , E <: Exception ] =>> PolyFunction { def apply [T ](c : CanThrow [E ]): R ; } // expected: type TB0[R, E <: Exception] = [T] => CanThrow[E] => R
23
+ type TB0 = [R , E <: Exception ] =>> PolyFunction { def apply [T ](c : CanThrow [E ]): R ; } // expected: @experimental type TB0[R, E <: Exception] = [T] => CanThrow[E] => R
24
24
25
25
@ experimental
26
- type TB1 = [R , E <: Exception ] =>> PolyFunction { def apply [T ](c : CanThrow [E ], y : c.type ): R ; } // expected: type TB1[R, E <: Exception] = [T] => (c: CanThrow[E], y: c.type) => R
26
+ type TB1 = [R , E <: Exception ] =>> PolyFunction { def apply [T ](c : CanThrow [E ], y : c.type ): R ; } // expected: @experimental type TB1[R, E <: Exception] = [T] => (c: CanThrow[E], y: c.type) => R
27
27
28
28
@ experimental
29
- type TB2 = [R , E <: Exception ] =>> PolyFunction { def apply [T ](using c : CanThrow [E ]): c.type ; } // expected: type TB2[R, E <: Exception] = [T] => (c: CanThrow[E]) ?=> c.type
29
+ type TB2 = [R , E <: Exception ] =>> PolyFunction { def apply [T ](using c : CanThrow [E ]): c.type ; } // expected: @experimental type TB2[R, E <: Exception] = [T] => (c: CanThrow[E]) ?=> c.type
30
30
31
31
type TC1 = [T ] => (a : T ) => T // expected: type TC1 = [T] => T => T
32
32
0 commit comments