(self, o: IntExpr)
| 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) |
| 330 | |
| 331 | def visit_float_expr(self, o: FloatExpr) -> None: |
| 332 | self.record_precise_if_checked_scope(o) |
nothing calls this directly
no test coverage detected