Skip to content

Backport "fix: Fix extracting refinements from intersection types in dynamic select hovers" to 3.7.3 #23716

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Aug 12, 2025
Merged

Backport "fix: Fix extracting refinements from intersection types in dynamic select hovers" to 3.7.3 #23716

merged 1 commit into from
Aug 12, 2025

Conversation

WojciechMazur
Copy link
Contributor

@WojciechMazur WojciechMazur commented Aug 11, 2025 •
edited
Loading

Backports #23640 to the 3.7.3-RC2.

PR submitted by the release tooling.
[skip ci]

@KacperFKorban @TheDrawingCoder-Gamer @WojciechMazur
fix: Fix extracting refinements from intersection types in dynamic se…
221d9db 
…lect hovers (#23640)

closes #22919

---------

Co-authored-by: Bulby <26726264+thedrawingcoder-gamer@users.noreply.github.com>
[Cherry-picked b0627b3]
Base automatically changed from release-3.7.3_backport-23652 to release-3.7.3 August 12, 2025 09:27
@WojciechMazur WojciechMazur merged commit 0fec16d into release-3.7.3 Aug 12, 2025
48 checks passed
@WojciechMazur WojciechMazur deleted the release-3.7.3_backport-23640 branch August 12, 2025 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@WojciechMazur @KacperFKorban