ذِكْرُ مَا كَانَ يُصَلِّي ﷺ بِالنَّهَارِ مَا فَاتَهُ مِنْ وِرْدِهِ بِاللَّيْلِ
When the Messenger of Allah ﷺ did not pray at night because he was prevented from doing so by sleep- meaning, sleep overwhelmed him- or by pain, he would pray twelve rak'ahs during the day. (Using translation from Nasāʾī 1789)
«كَانَ رَسُولُ اللَّهِ ﷺ إِذَا لَمْ يُصَلِّ مِنَ اللَّيْلِ مَنَعَهُ عَنْ ذَلِكَ النَّوْمُ أَوْ غَلَبَتْهُ عَيْنَاهُ صَلَّى مِنَ النَّهَارِ ثِنْتَيْ عَشْرَةَ رَكْعَةً»