charon icon indicating copy to clipboard operation
charon copied to clipboard

Support return position impl trait in trait

Open Nadrieril opened this issue 1 year ago • 1 comments

E.g.

trait Foo<T> {
    fn iter<'a>(&'a self) -> impl Iterator<Item=&'a T>;
}

Nadrieril avatar Nov 28 '24 13:11 Nadrieril

I think for the most part this requires tracking items not by name (RPITIT items don't have a name) but by some new id. I'm thinking AssocTyId/AssocConstId/MethodId for the various kinds of trait items.

Nadrieril avatar Oct 22 '25 19:10 Nadrieril