{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"Ok(result)"}]}
            Ok(result) => Ok(InferOk { goals: result.goals, value: () }),
        ) {
            Err(chalk_ir::NoSolution) => Err(TypeError),