Fix: Variable declarations in match cases, formals do not trigger errors anymore#2910
Merged
MikaelMayer merged 7 commits intomasterfrom fix-2905-name-resolution-errorOct 24, 2022
+122-14
Commits
Commits on Oct 21, 2022
Commits on Oct 24, 2022
- committed
Merge branch 'fix-2905-name-resolution-error' of https://github.com/dafny-lang/dafny into fix-2905-name-resolution-error
committed- authored
- authored
