What kind of magic behavior is this?

This might be a related post, I remember having a glance at. I will need to re-read it still, but it still might be interesting for the readers of this thread: [RFC] Associated type inference

1 Like