Require that type NOT be a reference

This was just getting lost on the garden path, really. It's trivial if you have the concrete type, but the point is you don't have the concrete type.

I haven't come up with anything better than T: 'static on your reference-producing methods, assuming your base Ts are static. Any trait or boundable property that your base case Ts have but the produced &Ts don't would do.

1 Like

Using T: 'static seems like it could be too limiting -- depending on SomeTraitT's implementations, since that would disallow things like Vec<Iter<'_, _>> or similar - i.e anything that contains a reference

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.