is_object() — internals

is_object() — internals

Where it lives

• Signature: src/builtins/types/is_object.rs
• Lowering: src/builtins/semantics.rs:639 (lower_registry_call)
• Function symbol: lower_registry_call()

Lowering notes

• Uses the eir_primitive strategy from the single-source builtin descriptor.
• Emits backend-neutral EIR primitives or a small EIR graph through BuiltinLoweringContext.

Semantic descriptor

• Target strategy: eir_primitive
• Validation: signature
• Result type source: declared
• Result ownership: non_heap
• Effects: shared
• Requirements: static (0 requirements)
• Callable policy: dynamic
• Target support: macos-aarch64, ios-arm64, ios-sim-arm64, linux-aarch64, linux-x86_64

EIR and runtime boundary

• Typed EIR target: descriptor-emitted EIR primitives or graph; no opaque builtin call remains.

Signature summary

function is_object(mixed $value): bool

What the type checker enforces

• Arity: takes exactly 1 argument.

Eval interpreter (magician)

• Declaration: crates/elephc-magician/src/interpreter/builtins/types/is_object.rs (eval_builtin!)
• Execution: Magician interpreter adapter.
• Adapter reason: interpreter-specific-value-semantics.
• Dispatch hooks: direct, values

Cross-references

• User reference for is_object()