Justin Whear:
What benefits would accrue from adding this? Static verification that a structure implements the specified concepts?
Not just that, but also the other way around: static verification that a "Concept" is strictly sufficient for any instantiation of a specific template. This is what Haskell/Rust do.
Bye, bearophile
