LWG4422 meta::access_context should be a consteval-only type

Author: eisenwave

source/meta.tex

@@ -5111,8 +5111,8 @@
 \rSec2[meta.reflection.access.context]{Access control context}
 
 \pnum
-The \tcode{access_context} class is a non-aggregate type
-that represents a namespace, class, or function
+The class \tcode{access_context}
+represents a namespace, class, or function
 from which queries pertaining to access rules may be performed,
 as well as the designating class\iref{class.access.base}, if any.
 
@@ -5138,11 +5138,11 @@
 \end{codeblock}
 
 \pnum
-\tcode{access_context} is a structural type.
-Two values \tcode{ac1} and \tcode{ac2} of type \tcode{access_context}
+\tcode{access_context} is a structural, consteval-only, non-aggregate type.
+Two values \tcode{ac1} and \tcode{ac2} of type \linebreak \tcode{access_context}
 are template-argument-equivalent\iref{temp.type}
 if \tcode{ac1.scope()} and \tcode{ac2.scope()}
-are template-argument-equivalent
+are \linebreak template-argument-equivalent
 and \tcode{ac1.desig\-nating_class()} and \tcode{ac2.desig\-nating_class()}
 are template-argument-equivalent.