{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"assume_scalar_range(bx,"}]}
    assume_scalar_range(bx, imm, to_scalar, to_backend_ty, Some(&from_scalar));
    // constraint that the `transmute` introduced is to `assume` it.