Static analysis sees function parameters' type.