Skip to content

Fix Enum stub definitions in status.pyi by assigning ellipsis to members and annotating _value_ instead of using bare member type annotations, which caused Pyrefly to infer int instead of the enum type. - #80

Merged
copybara-service[bot] merged 1 commit into
masterfrom
test_998880235
Oct 16, 2026

Conversation

@copybara-service

@copybara-service copybara-service Bot commented Oct 13, 2026 •

Copy link
Copy Markdown

Fix Enum stub definitions in status.pyi by assigning ellipsis to members and annotating _value_ instead of using bare member type annotations, which caused Pyrefly to infer int instead of the enum type.

@copybara-service copybara-service Bot changed the title Fix enum member annotations in status.pyi to use = ... instead of : int Fix enum member annotations in status.pyi to use = ... instead of : int, which caused Pyrefly to infer int instead of the enum type. Oct 13, 2026
@copybara-service copybara-service Bot changed the title Fix enum member annotations in status.pyi to use = ... instead of : int, which caused Pyrefly to infer int instead of the enum type. Fix Enum stub definitions in status.pyi by assigning ellipsis to members and annotating _value_ instead of using bare member type annotations, which caused Pyrefly to infer int instead of the enum type. Oct 16, 2026
…members and annotating `_value_` instead of using bare member type annotations, which caused Pyrefly to infer `int` instead of the enum type.

PiperOrigin-RevId: 1000662446
@copybara-service
copybara-service Bot merged commit c19861b into master Oct 16, 2026
10 of 35 checks passed
@copybara-service
copybara-service Bot deleted the test_998880235 branch October 16, 2026 07:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants