diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/subtype.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/subtype.rkt
index 5cc6cd2c1a..a6195f44dd 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/subtype.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/subtype.rkt
@@ -316,6 +316,10 @@
           (subtypes* A0 ts (map (λ (_) t*) ts))]
          [((Vector: t) (Sequence: (list t*)))
           (subtype* A0 t t*)]
+         [((Base: 'FlVector _ _ _) (Sequence: (list t*)))
+          (subtype* A0 -Flonum t*)]
+         [((Base: 'FxVector _ _ _) (Sequence: (list t*)))
+          (subtype* A0 -Fixnum t*)]
          [((Base: 'String _ _ _) (Sequence: (list t*)))
           (subtype* A0 -Char t*)]
          [((Base: 'Bytes _ _ _) (Sequence: (list t*)))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
index d9552c96ce..18a2428cc0 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
@@ -80,6 +80,10 @@
    [(-val 6) -Number]
    [(-val 'hello) -Symbol]
    [(-set -Number) (make-Sequence (list -Number))]
+   [-FlVector (make-Sequence (list -Flonum))]
+   [-FlVector (make-Sequence (list -Number))]
+   [-FxVector (make-Sequence (list -Fixnum))]
+   [-FxVector (make-Sequence (list -Number))]
    [((Un -Symbol -Number) . -> . -Number) (-> -Number -Number)]
    [(-poly (t) (-> -Number t)) (-mu t (-> -Number t))]
    ;; not subtypes