{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"\"A\""}]}
            "A" => ProcessResult::Error("An error"),
        |obligation| match *obligation {
            "B" => ProcessResult::Changed(thin_vec!["A"]),