a2f8f5e6f3
Remove rules which handle capture+inference var case separately: it's already handled. Remove rule with error on bound which shouldn't be triggered with new hasBound semantics. Add symmetric rule for case value+inference var: types can be inferred nevermind relation direction. Add rules for free vars without bounds (these ain't inference vars). Need in such vars arise when e.g. params in classifierType terms must be somehow accessed. It's used in MethodCall rules. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||