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

Fix record-lit field authority for v2.std.algebra annotated literals.

6724ab6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar