[issue46475] typing.Never and typing.assert_never

[Jelle Zijlstra]

Change by Jelle Zijlstra :


--
resolution:  -> fixed
stage: patch review -> resolved
status: open -> closed

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

[issue46475] typing.Never and typing.assert_never

[Guido van Rossum]

Guido van Rossum  added the comment:


New changeset 243436f3779c1e7bed1fd4b23d5a8ec5eff40699 by Jelle Zijlstra in 
branch 'main':
bpo-46475: Add typing.Never and typing.assert_never (GH-30842)
https://github.com/python/cpython/commit/243436f3779c1e7bed1fd4b23d5a8ec5eff40699


--

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

[issue46475] typing.Never and typing.assert_never

[David Foster]

Change by David Foster :


--
nosy: +David Foster

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

[issue46475] typing.Never and typing.assert_never

[Jelle Zijlstra]

Change by Jelle Zijlstra :


--
keywords: +patch
pull_requests: +29023
stage:  -> patch review
pull_request: https://github.com/python/cpython/pull/30842

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

[issue46475] typing.Never and typing.assert_never

[Jelle Zijlstra]

Jelle Zijlstra  added the comment:

Based on feedback here and on typing-sig I'm now leaning towards adding 
typing.Never along with typing.assert_never. I'll submit a single patch for 
these as the documentation will be closely linked.

--
title: Document use of NoReturn as a bottom type -> typing.Never and 
typing.assert_never
type:  -> enhancement
versions:  -Python 3.10, Python 3.9

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com