2 // { dg-do compile { target c++11 } }
5 struct iterator_concept_checker
8 typedef char (&no_type)[2];
11 static no_type test(...);
16 , void (*)(T) = [](T it)
18 auto copy = T{it}; // copy constructible
19 copy = it; // copy assignable
20 copy.~T(); // destroyable
21 ++it; // incrementable
29 details::iterator_concept_checker::test<int>(0);