{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"RegionResolutionError::GenericBoundFailure(_,"}]}
                RegionResolutionError::GenericBoundFailure(_, generic, r) => {
                RegionResolutionError::ConcreteFailure(_, a, b) => format!("{b}: {a}"),
                    format!("{generic}: {r}")