pointer_derived Concept Reference

Concept definition

template<typename POINTER>
concept pointer_derived = requires(POINTER  p) {
   // IILE, that only binds to A<...> specialisations
   // Including classes derived from them
   [] <typename TYPE>(::pointer<TYPE>&) {}(p);
}