A heuristic for checking if the passed arguments match the method's arguments' types. For non-polymorphic methods we use the subtype relation (<:<) and for polymorphic methods we use a heuristic. We check the args types not the result type.
A heuristic for checking if the passed arguments match the method's arguments' types. For non-polymorphic methods we use the subtype relation (<:<) and for polymorphic methods we use a heuristic. We check the args types not the result type.