if let is queued, with Rust's spelling.
This commit is contained in:
parent
dad9c02dc6
commit
68fddf90a1
4
TODO.org
4
TODO.org
@ -10,6 +10,10 @@ pointing at it. A CANCELLED entry carries the one-line reason, because an idea
|
|||||||
rejected without a record is an idea that gets re-proposed.
|
rejected without a record is an idea that gets re-proposed.
|
||||||
|
|
||||||
* Language surface
|
* Language surface
|
||||||
|
** NEXT if let
|
||||||
|
Decided 2026-09-26 (126), Rust's spelling: =if let Some(g) = left= plus a block tests
|
||||||
|
the pattern and binds =g= in that block only; =elif=/=else= follow as for =if=. Any
|
||||||
|
=match= pattern may stand where =Some(g)= is. Reads to a two-arm =match=.
|
||||||
** NEXT when as a value, and get as a checked lookup
|
** NEXT when as a value, and get as a checked lookup
|
||||||
Decided 2026-09-26 (125): a =when= whose value is used gives =Option(T)=, =Some= of its
|
Decided 2026-09-26 (125): a =when= whose value is used gives =Option(T)=, =Some= of its
|
||||||
body when the test holds and =None= otherwise; as a statement it is unchanged.
|
body when the test holds and =None= otherwise; as a statement it is unchanged.
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user