【论】卷90〈实际品 80〉： 问曰： 菩提有三种：阿罗汉菩提、辟支佛菩提、佛菩提。阿罗汉菩提不在有漏心中、无记心中行，但在无漏心中行；佛何以故问“阿罗汉梦中菩提何处行”？ 答曰： 阿罗汉是一切漏尽圣人则无梦，佛以必无处故问，欲明必无行法。
问曰： 乃至佛犹尚有眠，何以知之？佛尝命阿难：“汝四襞优多罗僧敷，我欲小眠，汝为诸比丘说法。”又萨遮尼干问佛：“佛自念昼日有眠不？”佛言：“春末夏初，以时热故小眠息，除食患故。”萨遮尼干白佛：“余人有言：‘昼日眠是痴相。’”佛言：“汝置！汝不别痴相。诸漏能生后身相续不断者，是名痴相，虽常不眠亦是痴；若是诸漏永灭无余，虽眠不名痴。”如是等，经中处处说。须菩提何以言“阿罗汉尚不眠”？ 答曰： 眠有二种：一者、眠而梦；二者、眠而不梦。阿罗汉非为安隐著乐故眠，但受四大身法，应有食、息、眠、觉，是故少许时息名为“眠”；不为梦眠。故须菩提言：“阿罗汉尚不眠。” 有人言：“离欲者得禅定，色界系四大入身中，身心欢乐则无有眠；慧解脱阿罗汉，色界四大不入身中，故有眠。”是故须菩提言：“阿罗汉尚不眠。”是故阿罗汉有眠、有不眠。 佛以方便力，为度众生，受人法故现眠。