преобразования данных

Объясните пожалуйста как работает ключевое checked в данном примере, в 1-ом просто выйдет 0 в консоли из-за переполнения, во втором же программа и вовсе не запуститсяНо понять логику почему в первом примере она запускается, а во втором происходит System