Skip to content

Fix documentation for const with cast#1504

Merged
BradLewis merged 1 commit into
DanielGavin:masterfrom
BradLewis:fix/const-type-cast
Jun 2, 2026
Merged

Fix documentation for const with cast#1504
BradLewis merged 1 commit into
DanielGavin:masterfrom
BradLewis:fix/const-type-cast

Conversation

@BradLewis
Copy link
Copy Markdown
Collaborator

Resolves #1503

@BradLewis BradLewis merged commit ee8b610 into DanielGavin:master Jun 2, 2026
3 checks passed
@BradLewis BradLewis deleted the fix/const-type-cast branch June 2, 2026 09:24
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.

Wrong hover info for const type cast

1 participant