blob: f777b2397eae0836a10882f8e2a682d98ba26a29 [file] [log] [blame]
Howard Hinnant94b2dd02010-08-22 00:59:46 +00001//===----------------------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Howard Hinnant412dbeb2010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnant94b2dd02010-08-22 00:59:46 +00007//
8//===----------------------------------------------------------------------===//
9
10// <functional>
11
12// minus
13
14#include <functional>
15#include <type_traits>
16#include <cassert>
17
18int main()
19{
20 typedef std::minus<int> F;
21 const F f = F();
22 static_assert((std::is_base_of<std::binary_function<int, int, int>, F>::value), "");
23 assert(f(3, 2) == 1);
24}