{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"ProcessResult::Unchanged"}]}
                    ProcessResult::Unchanged => {
                match processor.process_obligation(&mut node.obligation) {
                        // No change in state.