NullReferenceException crash in ErrorReporter.Error due to Resolver.CheckIsLvalue #2496
Labels
crash
Dafny crashes on this input, or generates malformed code that can not be executed
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
part: resolver
Resolution and typechecking
Input:
Output:
The text was updated successfully, but these errors were encountered: