Feature request I think we should be able to narrow a type of a argument to a CallLike based on the parameter type of the called function/method (only in case of strict_types=1 - because violating ...