{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
        // The element type of the "mask" argument must be a signed integer type of any width
        let mask_ty = in_ty;