nameonly
should not constrain default values
#3859
Labels
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
nameonly
should not constrain default values
#3859
Dafny version
3.13
Code to produce this issue
The text was updated successfully, but these errors were encountered: