{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"//"}]}
            //
            // - `T::BITS <= P::BITS` (from `Self::ASSERTION`)
            // Thus `addr >> T::BITS` is guaranteed to be non-zero.