{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"\"D\""}]}
            "D" => ProcessResult::Error("D is dead"),
        |obligation| match *obligation {
            _ => unreachable!(),