← All docs

stream_context_get_options() — internals

Compiler internals for stream_context_get_options(): lowering path, type checks, and runtime helpers.

stream_context_get_options() — internals

Where it lives

Lowering notes

  • Uses the runtime_call strategy from the single-source builtin descriptor.
  • Emits the typed EIR target runtime.stream_context_get_options through BuiltinLoweringContext.
  • The backend resolves that typed target through src/codegen/lower_inst/runtime_calls.rs; PHP builtin names do not participate in dispatch.

Semantic descriptor

  • Target strategy: runtime_call
  • Validation: checker_hook
  • Result type source: checked
  • Result ownership: may_alias_arguments
  • Effects: static (16 declared effects)
  • Requirements: static (0 requirements)
  • Callable policy: static_only
  • Target support: macos-aarch64, ios-arm64, ios-sim-arm64, linux-aarch64, linux-x86_64

EIR and runtime boundary

  • Typed EIR target: runtime.stream_context_get_options
  • Backend boundary: src/codegen/lower_inst/runtime_calls.rs resolves the typed target without PHP-name dispatch.

Signature summary

function stream_context_get_options(resource $context): array

What the type checker enforces

  • Arity: takes exactly 1 argument.

Eval interpreter (magician)

Cross-references