(self, node: Node)
| 346 | self.type(self.typemap.get(node)) |
| 347 | |
| 348 | def record_precise_if_checked_scope(self, node: Node) -> None: |
| 349 | if isinstance(node, Expression) and self.typemap and node not in self.typemap: |
| 350 | kind = TYPE_UNANALYZED |
| 351 | elif self.is_checked_scope(): |
| 352 | kind = TYPE_PRECISE |
| 353 | else: |
| 354 | kind = TYPE_ANY |
| 355 | self.record_line(node.line, kind) |
| 356 | |
| 357 | def type(self, t: Type | None) -> None: |
| 358 | t = get_proper_type(t) |
no test coverage detected