Carl Meyer

MonkeyType supports multiprocessing just fine, but it is up to you to trigger starting MonkeyType tracing in each separate process, in whatever way makes sense for your usage of multiprocessing....

I'll leave this open for doc updates; quite happy for anyone who uses MonkeyType with multiple processes (or threads) to contribute documentation on how they handled starting tracing at the...

> why would introducing an `Unknown` type not solve this? It wouldn't solve this because it's not coherent in any type system sense. A Python type represents a set of...

> If you say that the `object` type solves this issue, Yes, the `object` type is the correct type to use for "some arbitrary Python object about which nothing more...

https://github.com/microsoft/pyright/blob/main/docs/type-concepts-advanced.md#type-guards is pyright's documentation on supported narrowing forms.

Adding support for `x != None` should be very good for a first issue, since it should have exactly the same effect as `x is not None`, which is already...

Some predicates narrow based on characteristics of an object that could be transient for mutable objects. For example, `if x:` means that `x` must be truthy. This means that if...

Yeah, I was thinking of `TypeIs` and `TypeGuard` as a separate feature, but it doesn't hurt to list it here. I don't think it is blocked on generics. These are...

Sure, adding the length narrowing on tuples would be fine, though I think relatively low priority. I agree that otherwise there's probably no narrowing we can do on less-than or...

I'm going to go ahead and close this issue, we've done most of the things listed here, and I think there's limited value at this point in having a blanket...