python-trio / trio-typing

Type hints for Trio and related projects
Other
27 stars 13 forks source link

Add stubtest, fix incorrect stubs #73

Closed jakkdl closed 1 year ago

jakkdl commented 1 year ago

Noticed due to open_nursery missing the strict_exception_types argument, but various other issues raised by stubtest also addressed to the best of my ability. If any of them are problematic, it's easy to chuck them into the allowlist instead.

It's very possible that a bunch of the missing stubs in the allowlist should be added to the stubs.

I have no clue why ci.sh creates an empty directory and symlinks in CHECK_TYPING, but whatever the reason I did the same for CHECK_STUBS.