{"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: result1.goals });
            if let (Ok(result1), Ok(result2)) = (result1, result2) {
                for &e in &self.expressions {