Lawlā here expresses non-occurrence because something exists. Al-maṭaru is nominative mubtadaʾ with an understood predicate. Lajaffa al-zarʿu is its answer.
Opening interactive controls...
A Nominative Noun after Counterfactual Lawlā
Exhortative Particles: Urging, Reproach and Two Uses of Lawlā
Lawlā here expresses non-occurrence because something exists. Al-maṭaru is nominative mubtadaʾ with an understood predicate. Lajaffa al-zarʿu is its answer.