April 24, 2023
12:16 p.m.
Rather than changing Protocols and affecting lots of users, it seems like was you really want is a generic class that is the "and" to Union's "or"? e.g. def foo(thing: All[Thread, SupportsStop]): ... which seems reasonable. If that appeals to you, then you probably want to raise that on the typing thread?