For the sake of readership (assuming that you understand why) this is because traits are compile-time but method calls can be done dynamically at run-time. So

For the sake of readership (assuming that you understand why) this is because traits are compile-time but method calls can be done dynamically at run-time. So when you say "even if it doesn't use the methods in question" -- well, the compiler has no way to know that.