//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

// UNSUPPORTED: c++03

// <functional>

// template<class T> struct is_bind_expression

#include <functional>
#include "test_macros.h"

template <bool Expected, class T>
void
test(const T&)
{
    static_assert(std::is_bind_expression<T>::value == Expected, "");
    LIBCPP_STATIC_ASSERT(std::is_bind_expression<T&>::value == Expected, "");
    LIBCPP_STATIC_ASSERT(std::is_bind_expression<const T>::value == Expected, "");
    LIBCPP_STATIC_ASSERT(std::is_bind_expression<const T&>::value == Expected, "");
    static_assert(std::is_base_of<std::integral_constant<bool, Expected>, std::is_bind_expression<T> >::value, "");

#if TEST_STD_VER > 14
    ASSERT_SAME_TYPE(decltype(std::is_bind_expression_v<T>), const bool);
    static_assert(std::is_bind_expression_v<T> == Expected, "");
    LIBCPP_STATIC_ASSERT(std::is_bind_expression_v<T&> == Expected, "");
    LIBCPP_STATIC_ASSERT(std::is_bind_expression_v<const T> == Expected, "");
    LIBCPP_STATIC_ASSERT(std::is_bind_expression_v<const T&> == Expected, "");
#endif
}

struct C {int operator()(...) const { return 0; }};

int main(int, char**)
{
    test<true>(std::bind(C()));
    test<true>(std::bind(C(), std::placeholders::_2));
    test<true>(std::bind<int>(C()));
    test<false>(1);
    test<false>(std::placeholders::_2);

  return 0;
}