Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/concepts/pr94252.C @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 2b5abeee2509 |
children |
line wrap: on
line source
// PR c++/94252 // { dg-do compile { target c++2a } } auto f = []{ return 0; }; static_assert(requires { f(); }); static_assert(requires { requires requires { f(); }; }); template<typename A, typename B> concept same_as = __is_same(A, B); struct S { int f(int) noexcept; }; static_assert(requires(S o, int i) { o.f(i); { o.f(i) } noexcept -> same_as<int>; }); template<typename T> concept c = requires (T t) { requires (T)5; }; // { dg-error "has type .int." } int foo() { requires { requires c<int>; }; requires { { 5 } -> same_as<bool>; }; requires { requires !requires { { 5 } -> same_as<bool>; }; }; return requires { requires 5; }; // { dg-error "has type .int." } }