Skip to content

Write a call argument as the caller wrote it in refinement errors - #486

Merged
CatarinaGamboa merged 1 commit into
mainfrom
fix/481-argument-names
Nov 5, 2026
Merged

CatarinaGamboa merged 1 commit into
mainfrom
fix/481-argument-names

Write a call argument as the caller wrote it in refinement errors

0136a4b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar