Skip to content
Check for copyright header

fix: preserve error locations when expanding match arms #18814

Sign in to view logs

fix: preserve error locations when expanding match arms

fix: preserve error locations when expanding match arms #18814

check-lean-files

check-lean-files
succeeded Oct 15, 2025 in 40s