10 template<
typename M,
typename T>
11 concept VTableValidFor = Method<meta::Type<M>> &&
requires(T
const vtable) {
12 { vtable[
meta::Type<M> {}] } -> SameAs<meta::MethodErasedSignature<meta::Type<M>>*>;
16template<
typename T,
typename I>
20} &&
requires(I* interface) { []<detail::VTableValidFor<T>... Methods>(
meta::List<Methods...>*) {}(interface); };
Definition operations.h:128
Definition operations.h:40
Definition operations.h:24
Definition interface.h:24
Definition vtable_for.h:17
Definition any_storable.h:9