{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"hir::LangItem::RangeMax,"}]}
                            hir::LangItem::RangeMax,
                        self.lower_ty_pat_range_end(
                            span.shrink_to_hi(),