PR #3075 Better iterator close

Better iterator close #3075

bakkot wants to merge 4 commits into main from better-iterator-close

Editorial: remove redundant type assertions from {Async}IteratorClose

86ecfe96

Editorial: introduce IteratorCloseForThrow to simplify some cases of …

f4547f46

further split IteratorClose

70a15eec

jmdyck commented on 2023-05-25

npm run format

fbdd3c16

jmdyck commented on 2023-05-26

bakkot marked this pull request as draft 2 years ago

Reviewers

jmdyck

Assignees

No one assigned

Labels

None yet

Milestone

No milestone