{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"RegionResolutionError::SubSupConflict(_,"}]}
                RegionResolutionError::SubSupConflict(_, _, _, a, _, b, _) => format!("{b}: {a}"),
                }
                RegionResolutionError::UpperBoundUniverseConflict(a, _, _, _, b) => {