{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"walk_ty(ty,"}]}
        walk_ty(ty, &mut |ty| {
        let mut contains_infer_ty = false;
            contains_infer_ty |= matches!(ty, ast::Type::InferType(_));