// 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 "mismatched contract" }
+ friend void gfn(int q) [[ pre: q > 1 ]]; // { dg-error "'q' was not declared" }
// This should be okay.
friend void gfn2(int q);
static int bob;
};
-int Outer::bob{-1};
\ No newline at end of file
+int Outer::bob{-1};