Standard libraries not working with general-newtypes=true #5345
Labels
during 2: compilation of correct program
Dafny rejects a valid program during compilation
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
priority: now
Will work on this now
Dafny version
latest-nightly
Code to produce this issue
Command to run and resulting output
What happened?
There should have been no errors from the standard library.
This error is preventing me from using newtypes in my application that requires the standard library.
What type of operating system are you experiencing the problem on?
Windows
The text was updated successfully, but these errors were encountered: