diff --git a/convex-core/src/test/java/convex/core/lang/CoreTest.java b/convex-core/src/test/java/convex/core/lang/CoreTest.java
index 8a07230c1..3843d7382 100644
--- a/convex-core/src/test/java/convex/core/lang/CoreTest.java
+++ b/convex-core/src/test/java/convex/core/lang/CoreTest.java
@@ -3805,6 +3805,10 @@ public void testDeclare() {
 		// Declare requires symbols only at compile time
 		assertNotError(step("(declare count)"));
 		
+		// Declare returns null in all cases, see #477
+		assertNull(eval("(declare a)"));
+		assertNull(eval("(declare a b)"));
+		
 		assertCastError(step("(declare ~'count)")); // TODO: sanity check??
 		assertCastError(step("(declare 1)"));
 		assertCastError(step("(declare foo 1)"));