《瑜伽师地论卷第三十四》弥勒菩萨说

唐三藏沙门玄奘奉诏译（录出）

从此无间，于前所观诸圣谛理，起内作意；作意无间，随前次第所观诸谛，若是现见、若非现见诸圣谛中，如其次第，有无分别决定智、现见智生。
由此生故，三界所系见道所断附属所依诸烦恼品一切粗重，皆悉永断。
此永断故，若先已离欲界贪者，彼于今时既入如是谛现观已，得不还果。
彼与前说离欲者相，当知无异。
然于此中少有差别，谓当受化生，即于彼处当般涅槃，不复还来生此世间。
若先倍离欲界贪者，彼于今时既入如是谛现观已，得一来果。
若先未离欲界贪者，彼于今时既入如是谛现观已，粗重永息，得预流果。待续

注：（参考资料）《瑜伽论记》：第三解远离作意中。从此无间乃至现见智生等者。
景云。从此世第一法无间。于世第一法已前所观诸圣谛理起内作意。作意无间随前次第所观诸谛。若欲界四谛是现见。若上二界四谛名非现见。如其世第一法次第有见道无分别决定智现见智生。由此智生故三界见惑一切粗重皆永断。
泰云。从此真见道无间。后在相见道中于前所说诸谛重观。以上论云出世心生即真见故。备述三义。言辨相见道前方便既有法类智。于真观中应知亦有。然法类智虽有多种。而此文意观欲名法。观上名类。又解。就真见道唯一念时随方便分四谛智。故云如次。其钝根者别观四谛。故云如次。前解为胜。
基云。从前世第一法无间。从前第一法所观诸圣谛理今于真见道间起内作意。此真见道作意无间。于相见道中随前第一法时所观诸谛。若此亦现见。他方不同分界等不现见诸圣谛中。如苦集等之次第有无漏无漏无分别决定。不由他引自生疑智现前。以现量证智生。非如见道前即有分别疑可比度而生。是此中意。又证世第一法无间名从此无间。今意欲解真见道难知。越说相见道。却解所从无间所即世第一法。今却成前。谓前所观诸圣谛理起内作意即乃世第一法时。此作意无间随前次第所观诸谛于相见道中若现见不现见决定智现见智生。亦是此中意。论此永断故若先已离欲界贪者乃至不复还来生此世间者。此中据先用世间道伏离欲界欲。今入见道时成不还果。即是超越不还之人。今且据离欲界不还。不论乃至先离无所有处人。前卷未说世间离欲者相。威仪寂静言语敦肃而无动等。今此与彼相似。故言当知无异等。又虽相似少有差别。谓不还人不还生欲界。即于彼入涅槃。世间离欲者不然。故有差别也。