{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"self.regioncx.name_regions_for_member_constraint(self.infcx.tcx,"}]}
                        self.regioncx.name_regions_for_member_constraint(self.infcx.tcx, hidden_ty);
                    let named_ty =
                    let named_key =