{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"RegionResolutionError::ConcreteFailure(cause.clone(),"}]}
            RegionResolutionError::ConcreteFailure(cause.clone(), sub_region, placeholder_region)
        (None, _) => {
        }