【論】卷90〈實際品 80〉：
問曰：
菩提有三種：阿羅漢菩提、辟支佛菩提、佛菩提。阿羅漢菩提不在有漏心中、無記心中行，但在無漏心中行；佛何以故問「阿羅漢夢中菩提何處行」？
答曰：
阿羅漢是一切漏盡聖人則無夢，佛以必無處故問，欲明必無行法。
問曰：
乃至佛猶尚有眠，何以知之？佛甞命阿難：「汝四襞優多羅僧敷，我欲小眠，汝為諸比丘說法。」又薩遮尼乾問佛：「佛自念晝日有眠不？」佛言：「春末夏初，以時熱故小眠息，除食患故。」薩遮尼乾白佛：「餘人有言：『晝日眠是癡相。』」佛言：「汝置！汝不別癡相。諸漏能生後身相續不斷者，是名癡相，雖常不眠亦是癡；若是諸漏永滅無餘，雖眠不名癡。」如是等，經中處處說。須菩提何以言「阿羅漢尚不眠」？
答曰：
眠有二種：一者、眠而夢；二者、眠而不夢。阿羅漢非為安隱著樂故眠，但受四大身法，應有食、息、眠、覺，是故少許時息名為「眠」；不為夢眠。故須菩提言：「阿羅漢尚不眠。」
有人言：「離欲者得禪定，色界繫四大入身中，身心歡樂則無有眠；慧解脫阿羅漢，色界四大不入身中，故有眠。」是故須菩提言：「
阿羅漢尚不眠。」是故阿羅漢有眠、有不眠。
佛以方便力，為度眾生，受人法故現眠。