The series continue.

Check Types with Concepts - The Motivation

by Rainer Grimm

From the article:

static_assert allows you to check at compile time if a type T fulfills the Concept: static_assert(Concept<T>).