{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
                // FIXME: could be `trunc nuw`, even for signed.
                let high = self.lshr(wide, bits_const);
                let high = self.trunc(high, narrow_llty);