diff --git a/collects/tests/typed-racket/succeed/for.rkt b/collects/tests/typed-racket/succeed/for.rkt
index 1eb585d6..86493319 100644
--- a/collects/tests/typed-racket/succeed/for.rkt
+++ b/collects/tests/typed-racket/succeed/for.rkt
@@ -213,6 +213,20 @@
            (for: ([x 10] #:unless (> x 3)) (display x))))
        "0123")
 
+(check equal?
+       (for/hasheq: : (HashTable Integer String) ([k (list 2 3 4)]) (values k "val"))
+       #hasheq((2 . "val") (3 . "val") (4 . "val")))
+
+(check equal?
+       (for/vector: ([i : Natural (in-range 3)]) 5)
+       (vector 5 5 5))
+
+(check equal?
+       (for/vector: : (Vectorof Number) ([i : Natural (in-range 3)]) 5)
+       (vector 5 5 5))
+
+
+
 ;; break and final clauses
 ;; TODO typechecker can't handle these
 ;; (check string=?
diff --git a/collects/tests/typed-racket/succeed/pr11901.rkt b/collects/tests/typed-racket/succeed/pr11901.rkt
new file mode 100644
index 00000000..5e269ea1
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/pr11901.rkt
@@ -0,0 +1,3 @@
+#lang typed/racket/base
+(define-type (adder lhs rhs) (lhs rhs -> Number))
+(define-struct: (lhs rhs) adder-box ((a : adder)))
diff --git a/collects/tests/typed-racket/succeed/pr12224.rkt b/collects/tests/typed-racket/succeed/pr12224.rkt
new file mode 100644
index 00000000..6975ae1f
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/pr12224.rkt
@@ -0,0 +1,11 @@
+#lang racket/load
+
+(module t1 typed/racket/base
+  (provide (all-defined-out))
+  (define-struct: f ([n : ((Promise Number) -> Number)])))
+
+(module t2 typed/racket/base
+  (require racket/promise 't1)
+  (: g (f (Promise Number) -> Number))
+  (define (g fx k)
+      ((f-n fx) k)))
diff --git a/collects/tests/typed-racket/succeed/submod-vector.rkt b/collects/tests/typed-racket/succeed/submod-vector.rkt
new file mode 100644
index 00000000..19d439e8
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/submod-vector.rkt
@@ -0,0 +1,10 @@
+#lang racket
+(module test typed/racket
+  (provide v-ref)
+
+  (: v-ref ((Vectorof Symbol) Index -> Symbol))
+  (define (v-ref v i) (vector-ref v i)))
+
+(require (submod "." test))
+
+(v-ref (vector 'foo) 0)
diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 0f3bf4f5..bd35e73f 100644
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -1546,6 +1546,18 @@
         [tc-e ((inst list Any) 1 2 3)
               (-lst Univ)]
 
+        [tc-e (let ()
+                (define f
+                  (lambda: ((x : Boolean) (y : String))
+                    (if x y "false")))
+                (apply f (list #f "2")))
+              -String]
+        [tc-err (let ()
+                  (: f (All (i ...) Any -> (values Any ... i)))
+                  (define (f x) (values 1 2)))]
+        [tc-err (let ()
+                  (: g (All (i ...) Any -> (values Any ... i)))
+                  (define (g x) 2))]
         )
   (test-suite
    "check-type tests"