← All docs
session_regenerate_id() — internals
Compiler internals for session_regenerate_id(): lowering path, type checks, and runtime helpers.
session_regenerate_id() — internals
Where it lives
- Signature:
crates/elephc-builtin-contract/src/catalog_data.rs - Lowering:
src/web_prelude/build.rs:3113 (session_regenerate_id) - Function symbol:
session_regenerate_id()
Lowering notes
- Implemented by the compiler-injected web prelude.
Semantic descriptor
Shared contract implemented by an injected elephc-PHP prelude.
EIR and runtime boundary
Implemented by an injected elephc-PHP prelude.
Signature summary
function session_regenerate_id(bool $delete_old = false): boolWhat the type checker enforces
- Arity: takes 0–1 arguments (1 optional).
Eval interpreter (magician)
Not callable from eval’d code — the magician interpreter has no entry for this builtin.