Always lint, and cast case elimination error in desugarer