(self, o: Pattern, type_context: Type)
| 128 | self.options = options |
| 129 | |
| 130 | def accept(self, o: Pattern, type_context: Type) -> PatternType: |
| 131 | self.type_context.append(type_context) |
| 132 | result = o.accept(self) |
| 133 | self.type_context.pop() |
| 134 | |
| 135 | return result |
| 136 | |
| 137 | def visit_as_pattern(self, o: AsPattern) -> PatternType: |
| 138 | current_type = self.type_context[-1] |
no test coverage detected