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