void fn(int m) [[ pre: m > 1 ]];
friend void Inner::fn(int n) [[ pre: n > 0 && bob > 1 ]]; // { dg-error "not declared" }
- // FIXME: These functions are merged together with no diagnostic. We get an
- // error about 'p' not being declared because the contracts haven't been
- // unified or remapped.
friend void gfn(int p) [[ pre: p > 0 ]];
friend void gfn(int q) [[ pre: q > 1 ]]; // { dg-error "'q' was not declared" }
// generic error tests for generalized contract redecls
-// FIXME: merge into contracts-redecl1
// { dg-do compile }
// { dg-options "-std=c++2a -fcontracts" }
// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
// <http://www.gnu.org/licenses/>.
-// FIXME string_view vs. freestanding
-
/** @file contract
* This is a Standard C++ Library header.
*/
-## Makefile for the GNU C++ Filesystem library.
+## Makefile for experimental additions to the GNU C++ Standard library.
##
## Copyright (C) 2014-2022 Free Software Foundation, Inc.
##