pub fn check_conversion(e1: &Expr, e2: &Expr, max_steps: usize) -> ConvResultExpand description
Perform conversion checking with diagnostics.
pub fn check_conversion(e1: &Expr, e2: &Expr, max_steps: usize) -> ConvResultPerform conversion checking with diagnostics.