Fix type checking failure with Python 3.10+ union pipe syntax (int | None)#37645
Conversation
…None) The normalize() function did not handle types.UnionType, causing is_consistent_with() to fall through to issubclass() with a non-class argument. Route types.UnionType through convert_to_beam_type() which already knows how to convert it to Beam's UnionConstraint. Fixes apache#36592
Summary of ChangesHello @junaiddshaukat, I'm Gemini Code Assist1! I'm currently reviewing this pull request and will post my feedback shortly. In the meantime, here's a summary to help you and other reviewers quickly get up to speed! This pull request addresses a TypeError in Apache Beam's type checking that occurred when using Python 3.10+ union pipe syntax (e.g., Highlights
🧠 New Feature in Public Preview: You can now enable Memory to help Gemini Code Assist learn from your team's feedback. This makes future code reviews more consistent and personalized to your project's style. Click here to enable Memory in your admin console. Changelog
Activity
Using Gemini Code AssistThe full guide for Gemini Code Assist can be found on our documentation page, here are some quick tips. Invoking Gemini You can request assistance from Gemini at any point by creating a comment using either
Customization To customize Gemini Code Assist for GitHub experience, repository maintainers can create a configuration file and/or provide a custom code review style guide (such as PEP-8 for Python) by creating and adding files to a Limitations & Feedback Gemini Code Assist may make mistakes. Please leave feedback on any instances where its feedback is incorrect or counter productive. You can react with 👍 and 👎 on @gemini-code-assist comments. If you're interested in giving your feedback about your experience with Gemini Code Assist for Github and other Google products, sign up here. You can also get AI-powered code generation, chat, as well as code reviews directly in the IDE at no cost with the Gemini Code Assist IDE Extension. Footnotes
|
|
Checks are failing. Will not request review until checks are succeeding. If you'd like to override that behavior, comment |
|
assign set of reviewers |
|
Assigning reviewers: R: @damccorm for label python. Note: If you would like to opt out of this review, comment Available commands:
The PR bot will only process comments in the main thread (not review comments). |
|
@jrmccluskey could you please take a look? |
| self.assertFalse(is_consistent_with(Union[str, int], str)) | ||
| self.assertFalse(is_consistent_with(str, NonBuiltInGeneric[str])) | ||
|
|
||
| def test_hint_helper_pipe_union(self): |
There was a problem hiding this comment.
Having the extra test coverage is nice but it's worth noting that this suite passes even without the changes to typehints.py
| elif isinstance(x, types.UnionType): | ||
| beam_type = native_type_compatibility.convert_to_beam_type(x) | ||
| if beam_type != x: | ||
| return beam_type | ||
| else: | ||
| return Any |
There was a problem hiding this comment.
Adding the extra conditional here and repeating the same code as the other categories that get converted is clunky. Now that the list of checks is reasonably long, it may be worth splitting them out into a helper function for readability; otherwise, isinstance(x, types.UnionType) should be worked into the existing elif statement.
|
@jrmccluskey Thanks for the review! I've addressed all your feedback:
Formatting verified clean with |
jrmccluskey
left a comment
There was a problem hiding this comment.
LGTM, thanks! The test failures are unrelated.
Summary
Fixes #36592
Using Python 3.10+ pipe operator union types (e.g.
int | None) in function type hints causesTypeError: issubclass() arg 1 must be a classwhen Beam performs type checking.Root Cause
The normalize() function in typehints.py did not handle types.UnionType (Python 3.10+ pipe union syntax). On Python 3.10–3.13, int | None creates a types.UnionType whose module is not 'typing' and has no origin, so it passed through normalize() unchanged. This caused is_consistent_with() to fall through to issubclass() with a non-class argument.
Fix
Added a types.UnionType check in normalize() that routes pipe union types through convert_to_beam_type(), which already handles the conversion to Beam's UnionConstraint.
Tests Added
test_hint_helper_pipe_union— verifiesis_consistent_with()works with pipe union typestest_normalize_pipe_union— verifiesnormalize()convertstypes.UnionTypetoUnionConstraintThank you for your contribution! Follow this checklist to help us incorporate your contribution quickly and easily:
addresses #123), if applicable. This will automatically add a link to the pull request in the issue. If you would like the issue to automatically close on merging the pull request, commentfixes #<ISSUE NUMBER>instead.CHANGES.mdwith noteworthy changes.See the Contributor Guide for more tips on how to make review process smoother.
To check the build health, please visit https://github.com/apache/beam/blob/master/.test-infra/BUILD_STATUS.md
GitHub Actions Tests Status (on master branch)
See CI.md for more information about GitHub Actions CI or the workflows README to see a list of phrases to trigger workflows.