INNER CODE UNIT · Python

S1

hynek/svcs · typing_tests/base.py:143

class S1(str):
    pass


S2 = NewType("S2", str)
S3 = Annotated[str, "S3"]


reg.register_value(S1, "foo")
reg.register_value(S2, "bar")  # pyright:ignore[reportArgumentType]
reg.register_value(S3, "qux")  # pyright:ignore[reportArgumentType]

assert_type(con.get(S1), S1)
assert_type(con.get(S2), S2)  # pyright:ignore[reportAssertTypeFailure,reportArgumentType]
assert_type(con.get(S3), S3)  # pyright:ignore[reportAssertTypeFailure,reportArgumentType]

s: str = con.get(S1)
s = con.get(S2)  # pyright:ignore[reportArgumentType]

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…