{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"[decode]"}]}
            [decode] adt_def: rustc_middle::ty::AdtDefData,
            // AdtDef are interned and compared by address
            [] steal_thir: rustc_data_structures::steal::Steal<rustc_middle::thir::Thir<'tcx>>,