俱舍論記 4.202

4.202

「若執無得至離未離故」者，說一切有部難。我許有得，斷、未斷成。由煩惱得離故名斷，未離故名未斷。若執無得，如何可說惑斷、未斷？

Regarding 'If you hold there is no acquisition... being separated or not separated': the Sarvāstivāda objects. We accept that there is acquisition, so severance and non-severance are established. Because the acquisition of defilements is separated, it is called severed; because it is not separated, it is called unsevered. If you hold that there is no acquisition, how could one speak of defilements being severed or unsevered?