diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
index cfb7246734..a1d376bf42 100644
--- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
@@ -1327,6 +1327,8 @@
         [tc-e (#%variable-reference) -Variable-Reference]
         [tc-e (#%variable-reference x) -Variable-Reference]
         [tc-e (#%variable-reference +) -Variable-Reference]
+        [tc-e (apply (λ: ([x : String] [y : String]) (string-append x y)) (list "foo" "bar")) -String]
+        [tc-e (apply (plambda: (a) ([x : a] [y : a]) x) (list "foo" "bar")) -String]
         )
   (test-suite
    "check-type tests"
diff --git a/collects/typed-scheme/typecheck/tc-apply.rkt b/collects/typed-scheme/typecheck/tc-apply.rkt
index 1b3d82f64d..a7dc3b207f 100644
--- a/collects/typed-scheme/typecheck/tc-apply.rkt
+++ b/collects/typed-scheme/typecheck/tc-apply.rkt
@@ -75,6 +75,11 @@
                          (subtype tail-ty (car (car drests*))))]
                    [_ #f]))
             (do-ret (car rngs*))]
+           ;; the function has no rest argument, but provides all the necessary fixed arguments           
+           [(and (not (car rests*)) (not (car drests*))
+                 (subtype (apply -lst* arg-tys #:tail tail-ty)
+                          (apply -lst* (car doms*))))
+            (do-ret (car rngs*))]
            ;; otherwise, nothing worked, move on to the next case
            [else (loop (cdr doms*) (cdr rngs*) (cdr rests*) (cdr drests*))])))]
     ;; apply of simple polymorphic function
@@ -84,7 +89,7 @@
                    [(tail-ty tail-bound) (match (tc-expr/t tail)
                                            [(ListDots: tail-ty tail-bound)
                                             (values tail-ty tail-bound)]
-                                           [t (values t #f)])])
+                                           [t (values t #f)])])       
        (let loop ([doms* doms] [rngs* rngs] [rests* rests] [drests* drests])
          (cond [(null? doms*)
                 (match f-ty
@@ -107,6 +112,13 @@
                                    (car rests*)
                                    (car rngs*)))
                 => (lambda (substitution) (do-ret (subst-all substitution (car rngs*))))]
+               ;; the function has no rest argument, but provides all the necessary fixed arguments           
+               [(and (not (car rests*)) (not (car drests*)) (not tail-bound)
+                     (infer vars null
+                            (list (apply -lst* arg-tys #:tail tail-ty))
+                            (list (apply -lst* (car doms*)))
+                            (car rngs*)))
+                => (lambda (substitution) (do-ret (subst-all substitution (car rngs*))))]
                ;; actual work, when we have a * function and ... final arg
                [(and (car rests*)
                      tail-bound