Skip to content

Reject non-primitive string interpolation at the typechecker - #813

Merged
jasisz merged 2 commits into
mainfrom
feat/explicit-stringify-interpolation
Aug 8, 2026
Merged

Reject non-primitive string interpolation at the typechecker#813
jasisz merged 2 commits into
mainfrom
feat/explicit-stringify-interpolation

Reject an interpolation embed whose type inference never pinned

2b96119
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar