concept には、先頭に auto を付けるものと付けないものがあります。 concept の先頭に auto を付けるものは implicit concept というもので、コンセプトの要件を満たさなければならない、というもの #include <vector> auto concept Range<class X> { typename iterator = X:</class></vector>…