{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"assume_scalar_range(bx,"}]}
        assume_scalar_range(bx, imm, from_scalar, from_backend_ty, None);
        // the range of the input value too, not just the output range.