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