Function codegen_assertion 

pub fn codegen_assertion(expr: &LogicExpr<'_>, interner: &Interner) -> String

Available on crate feature codegen only.

Converts a LogicExpr to a Rust boolean expression for debug_assert!(). Uses RustFormatter to unify all logic-to-Rust translation.