gistfile1.txt

template<class T, class = void>
struct is_storage : std::false_type {};

template<class T>
struct is_storage<T, detail::void_t<decltype(
    T::id,
    T::need_free,
    std::declval<void*&>() =
        std::declval<T&>().allocate(
            std::declval<std::size_t>(),
            std::declval<std::size_t>()),
    std::declval<T&>().deallocate(
            std::declval<void*>(),
            std::declval<std::size_t>(),
            std::declval<std::size_t>())
            ) > > : std::integral_constant<bool,
    std::is_integral<T::id>::value &&
    std::is_convertible<T::need_free, bool>::value>
{
};