{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"def_id:"}]}
        def_id: DefId,
        /// [DefId] of the constant item.
        /// The pattern that the constant lowered to.