from typing import NewType

class Foo: ...

FooNewType1 = NewType("FooNewType1", Foo)
FooNewType2 = NewType("FooNewType2", Foo)

foo = Foo()
foo1 = FooNewType1(foo)
foo2 = FooNewType2(foo)

if foo1 is foo2:  # evaluates to `True` at runtime
    reveal_type(foo1)  # Never
    reveal_type(foo2)  # Never

BoolNewType = NewType("BoolNewType", bool)
IntNewType = NewType("IntNewType", int)
StrNewType = NewType("StrNewType", str)
BytesNewType = NewType("BytesNewType", bytes)

true = True  # has type `Literal[True]`
fourty_two = 42  # has type `Literal[42]`
some_string = 'some_string'  # has type `Literal["some_string"]`
some_bytes = b'some_bytes'  # has type `Literal[b"some_bytes"]

if BoolNewType(true) is true:  # evaluates to `True` at runtime
    reveal_type(true)  # Never

if IntNewType(fourty_two) is fourty_two:  # evaluates to `True` at runtime
    reveal_type(fourty_two)  # Never

if StrNewType(some_string) is some_string:  # evaluates to `True` at runtime
    reveal_type(some_string)  # Never

if BytesNewType(some_bytes) is some_bytes:  # evaluates to `True` at runtime
    reveal_type(some_bytes)  # Never