{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                // No need for ashr when signed; LLVM changes it to lshr anyway.
                let bits_const = self.const_uint(wide_llty, size.bits());
                let high = self.lshr(wide, bits_const);