{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"check!(Option<T>,"}]}
            check!(Option<T>, VAL1.checked_shr(black_box(64)));
            check!(Option<T>, VAL1.checked_shr(black_box(63)));
            check!(Option<T>, VAL1.checked_shr(black_box(81)));