According to JLS, narrowing is allowed in assignment context, but forbidden e.g. in invocation context. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
According to JLS, narrowing is allowed in assignment context, but forbidden e.g. in invocation context. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||