Skip to content

Fix #14632 FN funcArgNamesDifferent when argument is unnamed #22577

Fix #14632 FN funcArgNamesDifferent when argument is unnamed

Fix #14632 FN funcArgNamesDifferent when argument is unnamed #22577

Annotations

1 warning

build_mathlib (macos-15)

succeeded Mar 31, 2026 in 2m 45s