Home
last modified time | relevance | path

Searched refs:check_relation_subsumes_predicate (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/libcxx/test/std/concepts/concepts.callable/concept.relation/
H A Drelation.subsumption.compile.pass.cpp30 constexpr bool check_relation_subsumes_predicate() { in check_relation_subsumes_predicate() function
36 constexpr bool check_relation_subsumes_predicate() { in check_relation_subsumes_predicate() function
42 check_relation_subsumes_predicate<int (*)(int, double), int, int>());
44 check_relation_subsumes_predicate<int (*)(int, double), int, double>());
45 static_assert(check_relation_subsumes_predicate<R, S1, S1>());
46 static_assert(check_relation_subsumes_predicate<R, S1, S2>());