Skip to content

Commit 6a551ce

Browse files
committed
conformance suite: do not assert questionable behavior with enums
At runtime, attributes like Pet.genus do not exist. Type checkers should at least be allowed to recognize that fact and emit an error.
1 parent 1df1565 commit 6a551ce

1 file changed

Lines changed: 8 additions & 4 deletions

File tree

conformance/tests/enums_members.py

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -24,16 +24,20 @@ def __init__(self, genus: str, species: str) -> None:
2424
self.species = species
2525

2626

27-
assert_type(Pet.genus, str)
28-
assert_type(Pet.species, str)
27+
def func1(pet: Pet) -> None:
28+
assert_type(pet.genus, str)
29+
assert_type(pet.species, str)
30+
2931
assert_type(Pet.CAT, Literal[Pet.CAT])
3032
assert_type(Pet.DOG, Literal[Pet.DOG])
3133

3234

3335
from _enums_members import Pet2
3436

35-
assert_type(Pet2.genus, str)
36-
assert_type(Pet2.species, str)
37+
def func2(pet: Pet2) -> None:
38+
assert_type(pet.genus, str)
39+
assert_type(pet.species, str)
40+
3741
assert_type(Pet2.CAT, Literal[Pet2.CAT])
3842
assert_type(Pet2.DOG, Literal[Pet2.DOG])
3943

0 commit comments

Comments
 (0)