diff --git a/collects/tests/typed-racket/succeed/pr13576.rkt b/collects/tests/typed-racket/succeed/pr13576.rkt
new file mode 100644
index 00000000..5860dbc4
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/pr13576.rkt
@@ -0,0 +1,4 @@
+#lang typed/racket/base
+
+(define: (A ...) (lister args : A ... A) : (List A ... A)
+   args)
diff --git a/collects/typed-racket/base-env/annotate-classes.rkt b/collects/typed-racket/base-env/annotate-classes.rkt
index 515d23da..af4a0c5d 100644
--- a/collects/typed-racket/base-env/annotate-classes.rkt
+++ b/collects/typed-racket/base-env/annotate-classes.rkt
@@ -80,7 +80,7 @@
   #:attributes (name ann-name bound ty formal-ty)
   #:literals (:)
   (pattern (~seq name:id : ty bnd:ddd/bound)
-           #:with formal-ty #'(ty bnd)
+           #:with formal-ty #'(ty . bnd)
            #:attr bound (attribute bnd.bound)
            #:with ann-name (syntax-property (syntax-property #'name 'type-label #'ty)
                                             'type-dotted (attribute bnd.bound))))