Opened and changed typing issues week 2023-W29
The following is an overview of all issues and pull requests in the typing repository on GitHub with the label 'topic: feature' that were opened or updated last week, excluding closed issues. --------------------------------------------------- The following issues and pull requests were updated last week: #213 Introduce an Intersection opened by @ilevkivskyi https://github.com/python/typing/issues/213 #801 Introduce a Not type opened by @antonagestam https://github.com/python/typing/issues/801 #1400 Consider adding a "TopLevel" keyword that stands in for the top level bound of a corresponding type variable opened by @NeilGirdhar https://github.com/python/typing/issues/1400 --------------------------------------------------- All issues and pull requests with the label 'topic: feature' can be viewed under the following URL: https://github.com/python/typing/issues?q=label%3A%22topic%3A+feature%22
participants (1)
-
Typing Bot