{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"|"}]}
            | RegionResolutionError::UpperBoundUniverseConflict(_, _, _, origin, _)
            | RegionResolutionError::SubSupConflict(_, _, origin, _, _, _, _)
            | RegionResolutionError::CannotNormalize(_, origin) => origin,