Back

A current limitation of concepts is that we cannot pass concepts as arguments to templates. At least not directly.

The following trick by Filip Sajdak allows us to wrap concepts in lambdas and then pass those lambdas as non-type template arguments. With the help of an indirection concept, we can then check types against this wrapped concept.

Compiler Explorer link: https://compiler-explorer.com/z/bqW9jc57z