Language: Intersection types (A&B) in parameters and properties

[PurHur]

Summary

Type hints like function f(A&B $x) and property types; runtime checks where enforced.

Context

• Roadmap: #78, North Star 2 #1056
• Syntax matrix: docs/capabilities-syntax.md · Lint gaps: docs/unsupported-syntax.md

Acceptance criteria

• Parser + CFG lowering (php-cfg / Compiler)
• VM semantics + compliance or unit tests
• LLVM JIT lowering (or documented deferral in SelfHostBuiltinPolicy)
• AOT/self-host probe if on vm.php / compile.php path
• Row in docs/capabilities-syntax.md (regenerate via script/capability-syntax.php)

Related

See open language backlog #1238.

[PurHur]

Landed on master via #1474 (intersection types in parameters). JIT still deferred — see docs/capabilities-syntax.md. Tracker: docs/roadmap-wave3.md (PR #1481).

[PurHur]

Closing: merged #1474.