Missing filter cases

dafny-lang · Oct 18, 2024 · 73ce2b0 · 73ce2b0
1 parent 1f81743
commit 73ce2b0
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Source/DafnyCore/AST/Attributes.cs b/Source/DafnyCore/AST/Attributes.cs
@@ -369,8 +369,9 @@ public static Attributes ExpandAtAttribute(Program program, UserSuppliedAtAttrib
       .WithArg("functionName", Type.ResolvedString(), DefaultString(""))
       .Filter(attributeHost => attributeHost is Function),
     BuiltIn("IsolateAssertions")
-      .Filter(attributeHost => attributeHost is MemberDecl),
-    BuiltIn("Options").WithArg(TupleItem0Name, Type.ResolvedString())
+      .Filter(attributeHost => attributeHost is MemberDecl or DatatypeDecl or RedirectingTypeDecl),
+    BuiltIn("Options")
+      .WithArg(TupleItem0Name, Type.ResolvedString())
       .Filter(attributeHost => attributeHost is ModuleDecl or ModuleDefinition),
   };