(self, node: CastExpr)
| 542 | return new |
| 543 | |
| 544 | def visit_cast_expr(self, node: CastExpr) -> CastExpr: |
| 545 | return CastExpr(self.expr(node.expr), self.type(node.type)) |
| 546 | |
| 547 | def visit_type_form_expr(self, node: TypeFormExpr) -> TypeFormExpr: |
| 548 | return TypeFormExpr(self.type(node.type)) |