diff options
| author | Tim (Theemathas) Chirananthavat <theemathas@gmail.com> | 2024-12-15 12:37:14 +0700 |
|---|---|---|
| committer | Tim (Theemathas) Chirananthavat <theemathas@gmail.com> | 2024-12-21 15:36:16 +0700 |
| commit | 93889172bc6fdb085bccf15e201a7c03d1bdc8e3 (patch) | |
| tree | c109710b742a06c70653febbc4d58d5ae7a72a1f /tests/coverage/branch/lazy-boolean.rs | |
| parent | 7caf35b2e5401d7740fdc567fdc388059208150b (diff) | |
| download | rust-93889172bc6fdb085bccf15e201a7c03d1bdc8e3.tar.gz rust-93889172bc6fdb085bccf15e201a7c03d1bdc8e3.zip | |
Correctly document is_null CTFE behavior.
The "panic in const if CTFE doesn't know the answer" behavior was discussed to be the desired behavior in #74939, and is currently how the function actually behaves. I intentionally wrote this documentation to allow for the possibility that a panic might not occur even if the pointer is out of bounds, because of #133700 and other potential changes in the future.
Diffstat (limited to 'tests/coverage/branch/lazy-boolean.rs')
0 files changed, 0 insertions, 0 deletions