working on rewriting compiler ir to fix reg alloc issues
[bigint-presentation-code.git] / src / bigint_presentation_code / type_util.pyi
1 from typing import NoReturn, TypeVar
2
3 from typing_extensions import Literal, Self, final
4
5 _T_co = TypeVar("_T_co", covariant=True)
6 _T = TypeVar("_T")
7
8
9 # pyright currently doesn't like typing_extensions' definition
10 # -- added to typing in python 3.11
11 def assert_never(arg: NoReturn) -> NoReturn: ...
12
13
14 __all__ = [
15 "assert_never",
16 "final",
17 "Literal",
18 "Self",
19 ]