Parashas Bo · Shemos 12:8 · TT note 7
Torah Temimah on Shemos 12:8, note 7 (on בַּלַּיְלָה הַזֶּה) points to Berachos 9a.
Sefaria — Exodus 12:8
Sefaria — Torah Temimah on Exodus 12:8
Sefaria — Berachos 9a
E-Daf — Berachos 9a
English: The evening Shema, Hallel on the nights of Pesach, and eating the Pesach — their mitzvah is until dawn rises. One might think it is eaten like [other] kodashim by day — therefore it says “at night”: it is eaten at night, and not by day.
Time-boundary derash: the positive mitzvah of eating runs through the night until dawn.
Eating the Pesach is a nighttime mitzvah that continues until dawn and is not performed by day.