{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"infer_var_info:"}]}
            infer_var_info: RefCell::new(Default::default()),
            diverging_type_vars: RefCell::new(Default::default()),
        }