Testing type annotations for case-λ

NoahStoryM · samth · commit 74bdc52ccef0 · 2024-11-25T14:51:30.000-05:00
diff --git a/typed-racket-test/succeed/unicode-aliases.rkt b/typed-racket-test/succeed/unicode-aliases.rkt
@@ -11,6 +11,6 @@
 (define bar
   (case-λ
     [() #t]
-    [(_) #f]))
+    [([_ : Any]) #f]))
 (bar)
 (bar bar)
