I’ve got code that looks a bit like this:

struct A<B: SomeTrait> {x: B::Sub};

struct C<'a> {y: &'a Z};

impl<'a> SomeTrait for C {type Sub = X;}

type D<'a> = A<C<'a>>;

Is it possible to get rid of the <'a> in type D<'a> , since it’s not really doing anything there?

5 posts - 4 participants

Read full topic