{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"///"}]}
    /// of their fields.
    /// Destructures array, ADT or tuple constants into the constants
    query destructure_const(key: ty::Const<'tcx>) -> ty::DestructuredConst<'tcx> {