Shouldn't an instance method always win out over a static method? I too would always expect a compile error for attempting to override static with instance method or vice-versa.
What would/should happen if trait adds method in future that is in conflict with legal compiled state of implementing class?
