{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"RegionVariableOrigin::BoundRegion("}]}
                        RegionVariableOrigin::BoundRegion(
                    self.infcx.next_region_var(
                            term.source_info.span,