So they do support overriding and polymorphism on ...

# random

[karelpeeters]

So they do support overriding and polymorphism on the class that defines them, but not on the receiver type because the latter is just a normal parameter.