Add release notes

dafny-lang · Jan 9, 2024 · 8f317c9 · 8f317c9
1 parent 58921cc
commit 8f317c9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/dev/news/4956.fix b/docs/dev/news/4956.fix
@@ -0,0 +1,2 @@
+Fix parser: a `type` declaration with a constraint must name the value of the base type.
+Fix crash in verifier when a subset type has no explicit `witness` clause and has a non-reference trait as its base type.