Я бы не сказал, что это WTF, а особенность реализация замыкания в CPython.
Без if var1 — это просто глобальная переменная. Но если есть if, то даже несмотря на то, что ветвь никогда не выполнится, CPython нужно понять var1 — это локальная переменная или всё же глобальная. И нужно это понять ещё до выполнения функции.
Без if var1 — это просто глобальная переменная. Но если есть if, то даже несмотря на то, что ветвь никогда не выполнится, CPython нужно понять var1 — это локальная переменная или всё же глобальная. И нужно это понять ещё до выполнения функции.