File tree Expand file tree Collapse file tree 1 file changed +19
-1
lines changed
Expand file tree Collapse file tree 1 file changed +19
-1
lines changed Original file line number Diff line number Diff line change 66<section ><sref ref =" [mdspan.mdspan.overview]" /></section >
77<submitter >Stephan T. Lavavej</submitter >
88<date >07 Dec 2023</date >
9- <priority >99 </priority >
9+ <priority >3 </priority >
1010
1111<discussion >
1212<p >
@@ -72,6 +72,24 @@ A type <tt>M</tt> meets the <i>layout mapping</i> requirements if
7272<p >
7373Constant expressions can surely be obtained without throwing exceptions.
7474</p >
75+
76+ <note >2025-10-21; Reflector poll.</note >
77+ <p >
78+ Set priority to 3 after reflector poll.
79+ </p >
80+ <p >
81+ Use <tt >if consteval</tt > may lead to exception thrown from invocation
82+ of <tt >is_always_<i >meow</i ></tt >, when evaluated at runtime.
83+ </p >
84+ <p >
85+ Design intent was for <tt >is_always_<i >meow</i ></tt > functions to always
86+ produce value at compile time. Layout requirements may need to be updated.
87+ </p >
88+ <p >
89+ Separately, <sref ref =" [structure.specifications]" /> says that
90+ <i >Result:</i > is just the type and value category; not "constant expression"
91+ - this matters because we need to require a prvalue constant expression here.
92+ </p >
7593</discussion >
7694
7795<resolution >
You can’t perform that action at this time.
0 commit comments