(self, line: int, precision: int)
| 414 | self.output.append(string) |
| 415 | |
| 416 | def record_line(self, line: int, precision: int) -> None: |
| 417 | self.line_map[line] = max(precision, self.line_map.get(line, TYPE_EMPTY)) |
| 418 | |
| 419 | |
| 420 | def dump_type_stats( |
no test coverage detected