{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"//"}]}
            //
            // Thus `addr >> T::BITS` is guaranteed to be non-zero.
            // `{non_zero} | packed_tag` can't make the value zero.