{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"RegionResolutionError::ConcreteFailure(origin,"}]}
                        RegionResolutionError::ConcreteFailure(origin, a, b) => {
                    match error {
                            let predicate = format!("{b}: {a}");