The reasoning for this is that multiple traits can define methods with the same name/signature.If this rule was not in place and there were multiple traits defining get for Read,

Except for fully qualifying the method call, but that would also require you to import the trait!