Skip to content

Fix #14632 FN funcArgNamesDifferent when argument is unnamed #22576

Fix #14632 FN funcArgNamesDifferent when argument is unnamed

Fix #14632 FN funcArgNamesDifferent when argument is unnamed #22576

Annotations

1 warning

build_mathlib (macos-15)

succeeded Mar 31, 2026 in 2m 13s