(self, string: str)
| 411 | self.num_typevar_types += 1 |
| 412 | |
| 413 | def log(self, string: str) -> None: |
| 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)) |