רש"י על ביצה יט:

רבי שמעון אומר כו' - לקמיה מפרש לה:

מביא אדם תודתו בחג הסוכות - לקמיה מפרש אפילו ביום טוב קאמר ויוצא בה משום שלמי שמחה ואף על פי שמחויב בתודה זו ועומד דתניא במסכת חגיגה (דף ח.) ושמחת בחגך לרבות כל מיני שמחות של בשר לשמחה מדלא כתיב והבאת שלמים ואכלת שם ושמחת ומיהו פשיטא לן דכל זמן שבית המקדש קיים אין שמחה אלא בבשר שנאמר (דברים כ״ז:ז׳) וזבחת שלמים ואכלת שם ושמחת והאי קרא בהר גרזים כתיב ולא בשלמי שמחת י"ט כתיב דשמחת י"ט אם יש לו בכורות ומעשר בהמה אין צריך להביא שלמים:

ואין יוצא בה משום חגיגה - דדבר שבחובה הוא וכל דבר שבחובה אינו בא אלא מן החולין ותודה זו כבר מחויב הוא בה ואין זו מן החולין שיהא פוטר בה חגיגתו: