File tree Expand file tree Collapse file tree 1 file changed +14
-1
lines changed
Expand file tree Collapse file tree 1 file changed +14
-1
lines changed Original file line number Diff line number Diff line change 11<?xml version =' 1.0' encoding =' utf-8' standalone =' no' ?>
22<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
33
4- <issue num =" 4299" status =" New " >
4+ <issue num =" 4299" status =" Tentatively Ready " >
55<title >Missing <i >Mandates:</i > part in <tt >optional< T&> ::transform</tt ></title >
66<section ><sref ref =" [optional.ref.monadic]" /></section >
77<submitter >Giuseppe D'Angelo</submitter >
@@ -21,6 +21,19 @@ use this definition. The fact that the same wording has not been applied to
2121<tt >optional< T&> ::transform</tt > as well looks like an oversight. I would
2222suggest to apply it.
2323</p >
24+
25+ <note >2025-10-16; Reflector poll</note >
26+ <p >
27+ Set status to Tentatively Ready after six votes in favour during reflector poll.
28+ </p >
29+ <p >
30+ As
31+ <code >optional< remove_cv_t< invoke_result_t< F, T&>>> </code >
32+ is part of the signature (return type), we never enter the body to trigger the
33+ <i >Mandates</i >, so it's already implicitly ill-formed if the result of `f`
34+ is not a valid contained type. It's worth clarifying that though."
35+ </p >
36+
2437</discussion >
2538
2639<resolution >
You can’t perform that action at this time.
0 commit comments