File tree Expand file tree Collapse file tree 1 file changed +20
-1
lines changed
Expand file tree Collapse file tree 1 file changed +20
-1
lines changed Original file line number Diff line number Diff line change 88</section >
99<submitter >Jonathan B. Coe</submitter >
1010<date >20 Aug 2025</date >
11- <priority >99 </priority >
11+ <priority >2 </priority >
1212
1313<discussion >
1414<p >
@@ -41,6 +41,25 @@ to be evaluated.
4141<i >Constraints</i > on `T` should be converted to <i >Mandates</i > on `T` so that constraint evaluation
4242does not require `T` to be a complete type.
4343</p >
44+
45+ <note >2025-10-07; Reflector poll</note >
46+ <p >
47+ Set priority to 2 after reflector poll.
48+ </p >
49+ <p >
50+ "Do we have a concrete use case of an A-like type? Is making the traits give
51+ wrong answers preferable to hard errors? I don't think the `polymorphic` part
52+ makes sense. Since the constraints still require `U`/`UU` to be complete,
53+ either `T` is a base class and it must be complete, or it is not and it doesn't
54+ matter."
55+ </p >
56+ <p >
57+ "The problematic members are non-template functions, so they are instantiated
58+ early and the requires clauses are checked too soon. Think this can be solved
59+ without giving up SFINAE-friendliness, by making the affected members
60+ themselves templates."
61+ </p >
62+
4463</discussion >
4564
4665<resolution >
You can’t perform that action at this time.
0 commit comments