On various web pages relating to the Dhamma I have read the claim that arahants never dream. A few examples:

• Buddhist scholar Lily de Silva writes:

We may also note the tradition maintaining that arahants never dream, maybe because they have attained such perfect mental health that there is no necessity to release tension through dreams.

• The ven. Dhammananda Maha Thera writes:

Buddhas and Arahants never dream. The first three kinds of dream cannot occur in their minds, because their minds have been permanently 'stilled' and cannot be activated to dream. The last kind of dream cannot happen to them because they have eradicated all their craving energy completely, and there is no 'residual' energy of anxiety or unsatisfied desire to activate the mind to produce dreams.

• And the Czech monk U Sarana writes:

At that time Mahasi Sayadaw told to U Pandita that to his (Mahasi Sayadaw's) surprise, Mahasi Sayadaw had a dream. It is impossible for an Arahant to have a dream - and thus Sayadaw U Pandita knew, that Mahasi Sayadaw was not an Arahant at the time when this was said.

Surprisingly, I have not been able to find any Suttas or other textual sources for the claim that arahants never dream. Do any of you guys know of such sources? Is it in the Suttas, the Abhidhamma, the commentaries, or in a later text such as the Visuddhimagga? Thanks in advance for your answers!