@@ -171,7 +171,7 @@ We define the upper bound of two types T1 and T2 to be **UP**(`T1`,`T2`) as foll
171
171
- ** UP** (` Function ` , ` T Function<...>(...) ` ) = ` Function `
172
172
173
173
- ** UP** (` T0 Function<X0 extends B00, ... Xm extends B0m>(P00, ... P0k) ` ,
174
- ` T1 Function<X0 extends B10, ... Xm extends B1m>(P10, ... P1l) ` =
174
+ ` T1 Function<X0 extends B10, ... Xm extends B1m>(P10, ... P1l) ` ) =
175
175
` R0 Function<X0 extends B20, ..., Xm extends B2m>(P20, ..., P2q) ` if:
176
176
- each ` B0i ` and ` B1i ` are equal types (syntactically)
177
177
- Both have the same number of required positional parameters
@@ -180,7 +180,7 @@ We define the upper bound of two types T1 and T2 to be **UP**(`T1`,`T2`) as foll
180
180
- ` B2i ` is ` B0i `
181
181
- ` P2i ` is ** DOWN** (` P0i ` , ` P1i ` )
182
182
- ** UP** (` T0 Function<X0 extends B00, ... Xm extends B0m>(P00, ... P0k, Named0) ` ,
183
- ` T1 Function<X0 extends B10, ... Xm extends B1m>(P10, ... P1k, Named1) ` =
183
+ ` T1 Function<X0 extends B10, ... Xm extends B1m>(P10, ... P1k, Named1) ` ) =
184
184
` R0 Function<X0 extends B20, ..., Xm extends B2m>(P20, ..., P2k, Named2) ` if:
185
185
- each ` B0i ` and ` B1i ` are equal types (syntactically)
186
186
- All positional parameters are required
0 commit comments