emeryberger merged emeryberger/LeanToPython#16 · July 5, 2026 11:54 fix: xs[i]! panic-indexing referenced elided instances (F15) #16 Found by Phase-1 Array fuzzing (Corpus.Production.quicksort via lomutoPartition's arr[hi]!), but reproduces on plain List too — so this is a genera… +59 -1