{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"Result<rustc_middle::traits::EvaluationResult,"}]}
    Result<rustc_middle::traits::EvaluationResult, rustc_middle::traits::OverflowError>,
    Result<(), rustc_middle::traits::query::NoSolution>,
    rustc_abi::ReprOptions,