Implement trait for type's value

language design
3

This sounds a lot like pattern types.

1 Like