Attribute literals should not be DefaultValueExpressions

dafny-lang · Nov 20, 2024 · c90dd8b · c90dd8b
1 parent 26b15a4
commit c90dd8b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Source/DafnyCore/AST/Attributes.cs b/Source/DafnyCore/AST/Attributes.cs
@@ -285,7 +285,8 @@ static BuiltInAtAttributeSyntax BuiltIn(string name) {
 
   // Helper to create an old-style attribute
   private static Attributes A(string name, params Expression[] args) {
-    return new Attributes(name, args.ToList(), null);
+    return new Attributes(name, args.Select(arg => 
+      arg is DefaultValueExpression defaultExpr ? defaultExpr.Resolved : arg).ToList(), null);
   }
 
   // Helper to create an old-style attribute with only one argument