{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"_"}]}
            _ => panic!("unexpected obligation {:?}", obligation),
            "D.2.i" => ProcessResult::Changed(thin_vec![]),
        },