(data: ReadBuffer)
| 574 | |
| 575 | |
| 576 | def read_errors(data: ReadBuffer) -> list[ErrorTuple]: |
| 577 | assert read_tag(data) == LIST_GEN |
| 578 | result = [] |
| 579 | for _ in range(read_int_bare(data)): |
| 580 | assert read_tag(data) == TUPLE_GEN |
| 581 | result.append( |
| 582 | ( |
| 583 | read_str_opt(data), |
| 584 | read_int(data), |
| 585 | read_int(data), |
| 586 | read_int(data), |
| 587 | read_int(data), |
| 588 | read_str(data), |
| 589 | read_str(data), |
| 590 | read_str_opt(data), |
| 591 | ) |
| 592 | ) |
| 593 | return result |