1 //===----------------------------------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
15 #include <type_traits>
18 #include "test_macros.h"
22 typedef std::logical_not<int> F;
24 static_assert((std::is_same<F::argument_type, int>::value), "" );
25 static_assert((std::is_same<F::result_type, bool>::value), "" );
29 typedef std::logical_not<> F2;
36 constexpr bool foo = std::logical_not<int> () (36);
37 static_assert ( !foo, "" );
39 constexpr bool bar = std::logical_not<> () (36);
40 static_assert ( !bar, "" );