Associated types and what they are good for

That's why I said

(with enough effort)

in my comment.

You could make it work, perhaps with more annotations, with different rules in inference, etc. But it would be a pain, which is why it's worth adding the extra feature.

1 Like

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.