{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"(ty::Int(_)"}]}
                (ty::Int(_) | ty::Uint(_), ty::Float(_))
                (expected_ty.kind(), checked_ty.kind()),
            ) {