microsoft/pyright
1
1
Fork 0
mirror of https://github.com/microsoft/pyright.git synced 2024-08-15 19:00:33 +03:00
Code Issues Projects Releases Wiki Activity

Fixed documentation for class and instance variable overrides.

Browse Source
This commit is contained in:
Eric Traut 2023-11-28 13:21:16 -08:00
parent 5471f6cc99
commit d3398850c4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/type-concepts-advanced.md
View File

@ -455,7 +455,7 @@ class Child(Parent):
y = None # Error: Incompatible type
```
The derived class can redeclare the type of a class or instance variable. If `reportIncompatibleVariableOverride` is enabled, the redeclared type must be the same as the type declared by the parent class or a subtype thereof.
The derived class can redeclare the type of a class or instance variable. If `reportIncompatibleVariableOverride` is enabled, the redeclared type must be the same as the type declared by the parent class. If the variable is immutable (as in a frozen `dataclass`), it is considered covariant, and it can be redeclared as a subtype of the type declared by the parent class.
```python
class Parent:
@ -463,7 +463,7 @@ class Parent:
y: int
class Child(Parent):
x: int # This is OK because 'int' is a subtype of 'int | str | None'
x: int # Type error: 'x' cannot be redeclared with subtype because variable is mutable and therefore invariant
y: str # Type error: 'y' cannot be redeclared with an incompatible type
```