{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"(ty::Int(exp),"}]}
            (ty::Int(exp), ty::Int(found)) => {
        match (expected_ty.kind(), checked_ty.kind()) {
                let (f2e_is_fallible, e2f_is_fallible) = match (exp.bit_width(), found.bit_width())