Can't properly handle this case now. To handle this case of no type of initializer in assignment context need to discern cause of this "no type". If it's because of error -- then can't assign to it any type. If there were no error (e.g. case of test) -- then type can be inferred from assignment ctx. Anyway it's not very important corner case, can leave this test relaxed. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||