Check that a function call - both in implementations and one-offs - when validated has an argument value whose type is compatible with the argument type. Particularly also for generic types.
Description
Description
Check that a function call - both in implementations and one-offs - when validated has an argument value whose type is compatible with the argument type. Particularly also for generic types.