(part of #14172 created to claim the task)
NoReturn and Never are synonyms. They can both be mapped to Type::Never.
We can have a boolean flag on the Type::Never to indicate if this was a Never or NoReturn Although this is only useful for showing the type.
Assignability
https://github.com/python/typing/blob/main/conformance/tests/specialtypes_never.py#L64
- Never is assignable to other types
- Only Never and Any are assignable to Never
(part of #14172 created to claim the task)
NoReturn and Never are synonyms. They can both be mapped to
Type::Never.We can have a boolean flag on the
Type::Neverto indicate if this was aNeverorNoReturnAlthough this is only useful for showing the type.Assignability
https://github.com/python/typing/blob/main/conformance/tests/specialtypes_never.py#L64