Add tests for two closed TR PRs

original commit: 89782125883555586ec07645ac798c8e28513ff6

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr13870.rkt

@@ -0,0 +1,13 @@
+#lang typed/racket/base
+
+;; Test for PR 13870
+
+(require racket/match)
+
+(: sum ((Listof Integer) -> Integer))
+(define (sum l)
+  (match l
+    [(list) 0]
+    [(list x xs ...) (+ x (sum xs))]))
+
+(sum (list 1 2 3))

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt

@@ -3343,6 +3343,13 @@
                    `(li ,elem)))
                (void))
              -Void]
+
+       ;; PR 13653
+       [tc-e (let ()
+               (lambda: ((a : Symbol))
+                 (ann (values a a) (Values Symbol Symbol)))
+               (void))
+             -Void]
         )
 
   (test-suite