{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"considering_regions:"}]}
            considering_regions: self.considering_regions,
            typing_mode,
            in_hir_typeck: self.in_hir_typeck,