An argument of the wrong type is passed to a method or predicate.

Example error

from RefType t
where t.hasName(0)
select t

Here a numerical argument 0 is wrong: the declaration of hasName says that it takes a string.