not= stays refused in favour of !=
This commit is contained in:
parent
5062052425
commit
d2867a4267
5
TODO.org
5
TODO.org
@ -663,6 +663,11 @@ copy of its header, so growth inside the callee does not reach the caller. A
|
|||||||
parameter the function grows (push, put, reserve, anything that can reallocate)
|
parameter the function grows (push, put, reserve, anything that can reallocate)
|
||||||
gets a warning at the parameter suggesting (Ptr ...).
|
gets a warning at the parameter suggesting (Ptr ...).
|
||||||
|
|
||||||
|
** CANCELLED not= as a spelling of !=
|
||||||
|
CLOSED: [2026-09-25]
|
||||||
|
One spelling for one operation; != stays, and not= is refused with a suggestion
|
||||||
|
of !=.
|
||||||
|
|
||||||
* Checker
|
* Checker
|
||||||
|
|
||||||
** DONE The ownership flow analysis is repealed
|
** DONE The ownership flow analysis is repealed
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user