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