Related: #62834
#74489 makes it so that Type::Item works for trait items. There currently is anchor ambiguity between multiple traits that share an item, so it's not worth disambiguating further, however if we can fix that It would be nice if <Type as Trait>::Item could link to the appropriate bit in the type's impl section.
This would involve parsing the path as two paths, perhaps just using rustc_ast and parsing it as a TyKind::Path.
Related: #62834
#74489 makes it so that
Type::Itemworks for trait items. There currently is anchor ambiguity between multiple traits that share an item, so it's not worth disambiguating further, however if we can fix that It would be nice if<Type as Trait>::Itemcould link to the appropriate bit in the type's impl section.This would involve parsing the path as two paths, perhaps just using
rustc_astand parsing it as aTyKind::Path.