Propagate type information through `apply`

Description

Similarly to we can propagate return type through apply call when knowing return type of a target function, for example return type of (apply str 1 [2 3]) would resolve to string.

For cases when the number of arguments is unknown ahead of time we should resolve return type to a set of types of the matching function methods, for example:

Depends on and

Environment

None

Status

Assignee

Mike Fikes

Reporter

Roman Liutikov

Labels

None

Approval

None

Patch

Code and Test

Priority

Major
Configure