金剛般若經疏論纂要 1.144

1.144

阿那含，此云不來，亦云不還，斷欲界九品修惑盡，命終一往天上，更不還來下界，故云不來。而實無不來，義同前釋。

Anāgāmin is translated here as 'non-returner' (bulai), and also called 'non-returner' (buhuan). Having completely severed the nine grades of afflictions of cultivation in the desire realm, when his life ends he goes once to the heavens and never returns to the lower realm; hence he is called 'non-returner'. As for 'in reality there is no non-returning', the meaning is the same as the previous explanation.