Incomplete forward typings

[abliarsar]

Flow example: link
TS example: link

[zerobias]

this is probably related with subtyping not sure what we might do there

@goodmind any ideas?

[goodmind]

flow

No idea about TS

[abliarsar]

possible ts solution

[zerobias]

we can allow flow to assert type relations explicitly repl

Note that forward({ from: str, to: strOrNum }) now works without explicit generics

[zerobias]

@abliarsar looks like we suggest similar solutions 🙃

[zerobias]

Looks like my solution for flow don't work in practice

Could not decide which case to select bla bla bla
Perfect, flow prevent us from improve type inference again

[zerobias]

@goodmind solution for flow works as expected

[zerobias]

Not sure if I realize what changed in typescript errors
8f587a8#diff-c89e1c48f65366897054a19c423ee51cL1411
Did I miss something?

[abliarsar]

I think, we cannot use only one generic argument in typescript, that is the reason why.
Signature with one type works incorrectly with unknown type

[abliarsar]

Fixed in #229