mypy pets and stream_resume.py: clean
pyright pets and stream_resume.py: clean
ty pets and stream_resume.py: clean
stream_resume_negative.py 7 marked lines
mypy stream_resume_negative.py: 7/7 marked lines with one error, 0 elsewhere, 0 in other files
  13 attr-defined
  14 misc
  15 call-overload
  16 arg-type
  17 call-arg
  18 assignment
  19 attr-defined
pyright stream_resume_negative.py: 5/7 marked lines with one error, 0 elsewhere, 0 in other files
  13 reportAttributeAccessIssue
  13 reportUnknownMemberType
  14 reportGeneralTypeIssues
  15 reportArgumentType
  16 reportArgumentType
  17 reportCallIssue
  18 reportAssignmentType
  19 reportAttributeAccessIssue
  19 reportUnknownMemberType
ty stream_resume_negative.py: 7/7 marked lines with one error, 0 elsewhere, 0 in other files
  13 unresolved-attribute
  14 invalid-await
  15 invalid-argument-type
  16 invalid-argument-type
  17 unknown-argument
  18 invalid-assignment
  19 unresolved-attribute
