any_storable_infallibly.h

Go to the documentation of this file.

#pragma once
 
#include "di/any/concepts/any_storable.h"
#include "di/any/concepts/any_storage.h"
#include "di/types/prelude.h"
#include "di/util/create.h"
#include "di/util/defer_construct.h"
 
namespace di::concepts {
template<typename T, typename Storage>
concept AnyStorableInfallibly = AnyStorable<T, Storage> && (!Storage::creation_is_fallible(in_place_type<T>));
}