I agree that it would be able to determine wether this is a proc call or a type conversion from the parameter type. This can be a feature request.
It is probably not so simple to issue a warning with such conflicts, because the type may be defined in one module, the proc in another module, and both get imported to a third module.
