Yes.
Displaceable bsays what can be done with b. The compiler can (and does) check whether this method is available for this type (offset) at compile time.
, . , , ().
( !). , :)
Displaceable , , move, move ( , Circle, Displaceable).
, (, move) - . , .