https://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Concepts.html
Здесь пишут о новых ключевых словах. И если с некоторыми из них более-менее ясно http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4377.pdf
то документаций по ключевым словам forall и assumes нигде сходу не нашёл. Собственно, в этом и вопрос: как применять указанные ключевые слова?