Skip to content
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.

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

Backport 4406 + 4536 #5296

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

ytmimi
Copy link
Contributor

@ytmimi ytmimi commented Apr 3, 2022

Backports an enhancement to pre and post cast comments and a fix which was applied to that enhancement.

davidBar-On and others added 2 commits April 3, 2022 12:46
Formatting pre and post cast comments enhancements
* Fix issues in handling cast pre/post comments and adding test cases
* Add target for cast pre/post comments test cases
* Add test cases related to 2896 and 3528
* Changes per comments to the original PR
fix: between span derviation on cast exprs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants