P1289R1 Access control in contract conditions

Author: jensmaurer

source/declarations.tex

@@ -8348,52 +8348,6 @@
 The predicate of a contract condition has the same semantic restrictions
 as if it appeared as the first \grammarterm{expression-statement}
 in the body of the function it applies to.
-Additional access restrictions apply to names appearing in
-a contract condition of a member function of class \tcode{C}:
-\begin{itemize}
-\item Friendship is not considered\iref{class.friend}.
-\item For a contract condition of a public member function,
-no member of \tcode{C} or of an enclosing class of \tcode{C} is accessible
-unless it is a public member of \tcode{C},
-or a member of a base class
-accessible as a public member of \tcode{C}\iref{class.access.base}.
-\item For a contract condition of a protected member function,
-no member of \tcode{C} or of an enclosing class of \tcode{C} is accessible
-unless it is a public or protected member of \tcode{C},
-or a member of a base class
-accessible as a public or protected member of \tcode{C}.
-\end{itemize}
-For names appearing in a contract condition of a non-member function,
-friendship is not considered.
-\begin{example}
-\begin{codeblock}
-class X {
-public:
-  int v() const;
-  void f() [[expects: x > 0]];                  // error: \tcode{x} is private
-  void g() [[expects: v() > 0]];                // OK
-  friend void r(int z) [[expects: z > 0]];      // OK
-  friend void s(int z) [[expects: z > x]];      // error: \tcode{x} is private
-protected:
-  int w();
-  void h() [[expects: x > 0]];                  // error: \tcode{x} is private
-  void i() [[ensures: y > 0]];                  // OK
-  void j() [[ensures: w() > 0]];                // OK
-  int y;
-private:
-  void k() [[expects: x > 0]];                  // OK
-  int x;
-};
-
-class Y : public X {
-public:
-  void a() [[expects: v() > 0]];                // OK
-  void b() [[ensures: w() > 0]];                // error: \tcode{w} is protected
-protected:
-  void c() [[expects: w() > 0]];                // OK
-};
-\end{codeblock}
-\end{example}
 
 \pnum
 A precondition is checked by evaluating its predicate