Dibur_hamatchil על שמות 12:10

ולא תותירו ממנו עד בקר הא אם הותיר עבר על מצוה אבל שומע אני יהא כשר, תלמוד לומר ולא תותירו ממנו עד בקר, אני אקרא והנותר ממנו באש תשרופו עד בקר למה לי, אלא בא הכתוב ליתן תחום לבקרו של בוקר,

ולא תותירו ממנו עד בקר והנותר ממנו עד בקר באש תשרופו, בא הכתוב ליתן עשה אחר לא תעשה לומר שאין לוקין עליו דברי רבי יהודה, ר' יעקב אומר לא מן השם הוא זה, אלא משום דהוה ליה לאו שאין בו מעשה וכל לאו שאין בו מעשה אין לוקין עליו, מכלל דרבי יהודה סבר לוקין עליו מנא ליה, אמר עולא גמר מעדים זוממין, מה עדים זוממין לאו שאין בו מעשה ולוקין אף כל לאו שאין בו מעשה לוקה, מה לעדים זוממין שכן אין צריכין התראה, מוציא שם רע יוכיח, מה למוציא שם רע שכן לוקה ומשלם, עדים זוממין יוכיחו, וחזר הדין לא ראי זה כראי זה ולא ראי זה כראי זה, הצד השוה שבהן שכן לאו שאין בו מעשה ולוקה, אף כל לאו שאין בו מעשה לוקה, ור' יעקב האי והנותר ממנו מאי עביד ליה מיבעיא ליה למחשב, העצמות והגידין והנותר ישרפו לששה עשר, חל ששה עשר להיות בשבת ישרפו לשבעה עשר לפי שאין דוחה לא את השבת ולא את יום טוב: