Uh, no. This precludes the possibility of saying "I know this cannot fail (modulo seriously crazy situations like hardware failure or OOM)", which lets you significantly reduce the number of spurious exceptional conditions you need to handle, which reduces code noise if you actually try and treat every impossible exceptional case as if it were possible and increases safety if you don't.