This is not strictly true. You can define inherent methods that delegate to identical trait methods (and I've done so in order to introduce traits in a backwards compatible way before).