Actually in this specific case you can infer that, and you can have an exhaustive list of language constructs beyond which this becomes undecidable. There is a

Actually in this specific case you can infer that, and you can have an exhaustive list of language constructs beyond which this becomes undecidable. There is a practical example of “panic!” in Rust to go around that as well.