(self, o: BytesExpr)
| 323 | self.record_precise_if_checked_scope(o) |
| 324 | |
| 325 | def visit_bytes_expr(self, o: BytesExpr) -> None: |
| 326 | self.record_precise_if_checked_scope(o) |
| 327 | |
| 328 | def visit_int_expr(self, o: IntExpr) -> None: |
| 329 | self.record_precise_if_checked_scope(o) |
nothing calls this directly
no test coverage detected