{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"val,"}]}
                        val,
                        IntCC::UnsignedGreaterThan,
                        (1 << ty.bits()) - 1,