Rashi on Eruvin 17a:9 · רש"י על עירובין · free full Hebrew text
רבי יוסי אומר אם מותרין כו' - ומפרשינן בפ' כל גגות (שם ד' צה.) דר' יוסי לאיסור והכי קאמר כשם שאסורים לעתיד לבא כך אסורין לאותה שבת אלמא לא אמרי' הואיל והותרה הותרה כדרבי יצחק: