Minor fixes

This commit is contained in:
David Peter 2025-09-09 08:47:14 +02:00
parent 31566d67cb
commit 99ecb657f6
2 changed files with 1 additions and 2 deletions

View File

@ -399,7 +399,7 @@ reveal_type(C(1, 1)) # revealed: C[int]
reveal_type(C(1, "string")) # revealed: C[int]
reveal_type(C(1, True)) # revealed: C[int]
# error: [invalid-assignment] "Object of type `C[str]` is not assignable to `C[int]"
# error: [invalid-assignment] "Object of type `C[str]` is not assignable to `C[int]`"
wrong_innards: C[int] = C("five", 1)
```

View File

@ -167,7 +167,6 @@ class C[T]:
return y
c: C[int] = C()
reveal_type(c.m(1, "string")) # revealed: Literal["string"]
```