Associated function from super traits not accessible via sub traits about rust HOT 3 OPEN

@EsotericPyramid you can actually call a function like Trait::func(), the same way you can do <_ as Trait>::func(). So the dyn object stuff is a result of a bad recovery most likely.

Your second point is good though, thanks. The fact that Trait::assoc can only refer to items of Trait, to allow disambiguation in cases where super traits have associated items named the same make sense to me. However, as @workingjubilee said, confusing diagnostics are still bugs, and these diagnostics are very confusing.

from rust.

I don’t believe this actually a bug at all.

1. That’s not how you call associated functions. The syntax for that is Type::func() not Trait::func(). That’s why the compiler gives notes about making a dynamic trait object because that would give you an actual type for the correct syntax. If you could call associated functions with the Trait::func syntax then it may be impossible for the compiler to pick an implementation as multiple implementations for different types could have identical signatures (not in this particular case)
2. assoc is not part of the Sub trait, it is required by it so <T as Sub>::assoc() wouldn’t work but <T as Super>::assoc() should. This is important as it allows both Sub and Super to have an associated function with the same name.

from rust.

confusing diagnostics are still bugs.

from rust.