{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"ctx.table.register_infer_ok(InferOk"}]}
                ctx.table.register_infer_ok(InferOk { value: (), goals: result2.goals });
                }
                if let Some(expr) = expr {