strata::shape_bearing¶

Part of Views and expressions.

concept

template<typename T>
concept strata::shape_bearing = requires { typename detail::shape_of<std::remove_cvref_t<T>>::type; }

A type that has a shape: it names it as shape_type, or its shape() gives one.

A Shape is not one: it is the shape, not something that has one. Cv and references do not matter.