(self, node: Expression)
| 1475 | return self.mapper.type_to_rtype(typ) |
| 1476 | |
| 1477 | def node_type(self, node: Expression) -> RType: |
| 1478 | if isinstance(node, IntExpr): |
| 1479 | # TODO: Don't special case IntExpr |
| 1480 | return int_rprimitive |
| 1481 | if node not in self.types: |
| 1482 | return object_rprimitive |
| 1483 | mypy_type = self.types[node] |
| 1484 | return self.type_to_rtype(mypy_type) |
| 1485 | |
| 1486 | def add_var_to_env_class( |
| 1487 | self, |
no test coverage detected