mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-02-13 05:31:43 +08:00
The missing __init__ method caused `Filter` to be incompatible with the `_Filter` protocol, preventing valid initialization of `Cleaner` instances. Closes: #10834