瑜伽論記 18.288

18.288

泰云：不善法以斷體故無異熟，有漏善以斷漏故無異熟，不由斷體應言漏已斷，亦可漏亦名有漏，故云有漏斷。

Tai says: Unwholesome phenomena have no fruition because their substance has been severed; taint-associated wholesome phenomena have no fruition because their taints have been severed. Since it is not through severing their substance, one should say "taints have been severed"; alternatively, taints are also termed taint-associated, hence it says "the taint-associated has been severed."