Skip to content

Fix record-lit field authority for v2.std.algebra literals (P0 field-wall follow-up) - #6705

Closed
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/infer-record-lit-field-authority
Closed

gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/infer-record-lit-field-authority

Commits

  1. Commits on Jul 16, 2026