Skip to content

Conversation

@RustanLeino
Copy link
Collaborator

Fix compilation of ch as int where the type of ch is a newtype based on char. The previous problem affected only C#, which does something different for Rune types.

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

@RustanLeino RustanLeino requested a review from robin-aws July 2, 2025 19:50
@RustanLeino RustanLeino enabled auto-merge (squash) July 2, 2025 21:06
robin-aws
robin-aws previously approved these changes Jul 2, 2025
@RustanLeino RustanLeino merged commit ad4b829 into dafny-lang:master Aug 8, 2025
21 checks passed
@RustanLeino RustanLeino deleted the fix-newtype-char-cast branch August 8, 2025 17:18
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.

2 participants