Skip to content

Followup to #8731: use isSplittedVarDeclEq() #23757

Followup to #8731: use isSplittedVarDeclEq()

Followup to #8731: use isSplittedVarDeclEq() #23757

Annotations

3 warnings

build_mathlib (macos-15)

succeeded Jul 17, 2026 in 1m 51s