[BEAM-12855] Infer result type when the composite type has Any

[ihji]

Please add a meaningful description for your change here

---

Thank you for your contribution! Follow this checklist to help us incorporate your contribution quickly and easily:

• Choose reviewer(s) and mention them in a comment (R: @username).
• Format the pull request title like [BEAM-XXX] Fixes bug in ApproximateQuantiles, where you replace BEAM-XXX with the appropriate JIRA issue, if applicable. This will automatically link the pull request to the issue.
• Update CHANGES.md with noteworthy changes.
• If this contribution is large, please file an Apache Individual Contributor License Agreement.

See the Contributor Guide for more tips on how to make review process smoother.

ValidatesRunner compliance status (on master branch)

Lang	ULR	Dataflow	Flink	Samza	Spark	Twister2
Go	---					---
Java
Python	---					---
XLang						---

Examples testing status on various runners

Lang	ULR	Dataflow	Flink	Samza	Spark	Twister2
Go	---	---	---	---	---	---	---
Java	---		---	---	---	---	---
Python	---	---	---	---	---	---	---
XLang	---	---	---	---	---	---	---

Post-Commit SDK/Transform Integration Tests Status (on master branch)

Go	Java	Python

Pre-Commit Tests Status (on master branch)

---	Java	Python	Go	Website	Whitespace	Typescript
Non-portable
Portable	---			---	---	---

See .test-infra/jenkins/README for trigger phrase, status and link of all Jenkins jobs.

GitHub Actions Tests Status (on master branch)

See CI.md for more information about GitHub Actions CI.

[codecov]

Codecov Report

Merging #15476 (723996b) into master (823ab5a) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master   #15476   +/-   ##
=======================================
  Coverage   83.74%   83.75%           
=======================================
  Files         443      443           
  Lines       60077    60088   +11     
=======================================
+ Hits        50312    50327   +15     
+ Misses       9765     9761    -4     

Impacted Files	Coverage Δ
sdks/python/apache_beam/pipeline.py	91.70% <100.00%> (+0.03%)	⬆️
sdks/python/apache_beam/typehints/typehints.py	93.45% <100.00%> (+0.10%)	⬆️
...hon/apache_beam/runners/worker/bundle_processor.py	93.39% <0.00%> (+0.12%)	⬆️
...ks/python/apache_beam/runners/worker/sdk_worker.py	88.95% <0.00%> (+0.15%)	⬆️
sdks/python/apache_beam/transforms/util.py	95.98% <0.00%> (+0.16%)	⬆️
...s/python/apache_beam/typehints/sharded_key_type.py	96.77% <0.00%> (+3.22%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 0fc4ffd...723996b. Read the comment docs.

[ihji]

R: @robertwb

[ihji]

This commit will fix xlang validate runner test failure: BEAM-12805

[ihji]

Run XVR_Flink PostCommit

[robertwb]

I'm a little wary of this change. Currently, there's ambiguity as to what we should do if a transform and its surrounding composite both declare a (non-trivial) type constraint on an output PCollection. Previously, the inner transform would win, but this changes it to let the outer transform win.

That might fix this test, but might break others.

One option is to actually address the TODO here and implement (best-effort?) intersection.

[ihji]

@robertwb Thanks for the comment. Could you elaborate more on intersection you mentioned? Does it mean intersection between the types before and after the inference?

[robertwb]

Yes, before (which presumably came from the inner transform(s)) and after this transform's type inference.

[aaltay]

@ihji - What is the next step on this PR?

[aaltay]

Any update on this? Should we close it?

[ihji]

We can close this.