Sukkos was put in the cold season by design by Hashem. The sleeping in the Sukkah halachos are despite that.
Yet, the halacha still is that mitztaer is pattur from sukka.
It is so cool what you can do when you learn halacha from halacha seforim instead of from third grade.