Skip to content

Fix 14937: False positive: inconclusive nullPointerRedundantCheck with thunk #23829

Fix 14937: False positive: inconclusive nullPointerRedundantCheck with thunk

Fix 14937: False positive: inconclusive nullPointerRedundantCheck with thunk #23829

Annotations

3 warnings

build_mathlib (macos-15)

succeeded Jul 24, 2026 in 1m 51s