Never

This type can never be constructed.

Equivalent to Python's typing.Never, it is Starlark's representation of the bottom type. A function returning typing.Never will never return. A function taking an argument of typing.Never can never be called.

See also typing.Never in the Python documentation.