0%

spec

Goal

Sync grammar + spec clauses to the approved call-site grammar, reusing the existing type_args production, and correct the stale const-generics errata.

Implementation Sketch

grammar.ebnf: attach [ type_args ] into postfix_op (:445) + the identifier primary, reusing the existing type_args/type_or_const (:355) — NO new type_arg/const_arg non-terminals. Clause 14 call subclause + Clause 27 §27.4.1 + operator-rules.md document the disambiguation. Correct const-generics proposal line-11 errata (bounds are :, not with). Update ori-syntax.md.

Spec References

Proposal Spec & Grammar Impact + Dependency Status; grammar.ebnf:355/445/452.

Work Items

  • Attach [type_args] into postfix_op + identifier primary in grammar.ebnf, reusing existing type_args/type_or_const.
  • Document call-site type args + speculative disambiguation in Clause 14, Clause 27 §27.4.1, operator-rules.md; update ori-syntax.md.
  • Correct the stale const-generics line-11 errata (bounds use :, not with) per capability-unification reversal.