/// TODO: Ideally we'd eliminate this. Currently used in two places:
///
/// 1. Functions where we skip codegen. Will eventually go away (we hope?)
/// 2. TerminatorKind::Resume and TK::Abort. Related to unwind support.

https://github.com/model-checking/kani/blob/main/kani-compiler/src/codegen_cprover_gotoc/codegen/assert.rs

If we get rid of the remaining skipped codegen items, I think we could probably switch Resume/Abort to SanityChecks (as opposed to unimplemented) because we already have checks to ensure -Cpanic=abort (or whatever that option is) is set.