Hello. Just wondering, is it possible to define a subtrait as a version of its supertrait with extra constraints on the supertrait's generic associated type? I'm thinking of something like this, but this seems to be invalid syntax.

3 posts - 3 participants

Read full topic