di::concepts::AnyStorable Concept Reference

#include <di/any/concepts/any_storable.h>

Concept definition

template<typename T, typename Storage>
concept di::concepts::AnyStorable =  AnyStorage<Storage> && requires(Storage* self) {
    Storage::init(self, in_place_type<T>, util::DeferConstruct([] -> T {
                      util::unreachable();
                  }));
}