Ahah, that makes sense. But then I think I buy into your reasoning that this
isn't really a replacement for callable syntax (although functions as types
opens up other interesting possibilities). For this and other reasons I'd hate
to see callable syntax rejected in favor of it, so definite +1 o
Does `lambda b: 3` type check with `IntToIntFunc` or only `lambda a: 3`? The
intent seems to be it's more like `Callable` (where the argument name is not
important), but maybe both could be supported? I wonder about making more use
of the `_` soft keyword where calling a function with multiple `
(copied from typing on advice since this affects runtime behavior)
PEP 591 for Final states "Type checkers should infer a final attribute that is
initialized in a class body as being a class variable. Variables should not be
annotated with both ClassVar and Final."
ClassVar is used to indicate l
