diff --git a/collects/typed-racket/infer/infer-unit.rkt b/collects/typed-racket/infer/infer-unit.rkt
index 6ef67fbe..c54a26c3 100644
--- a/collects/typed-racket/infer/infer-unit.rkt
+++ b/collects/typed-racket/infer/infer-unit.rkt
@@ -391,7 +391,7 @@
           [((Name: n) (Name: n*))
            (if (free-identifier=? n n*)
                null
-               (let ((rn (resolve-once S)) (rn* (resolve-once)))
+               (let ((rn (resolve-once S)) (rn* (resolve-once T)))
                 (if (and rn rn*) (cg rn rn*) (fail! S T))))]
           ;; pairs are pointwise
           [((Pair: a b) (Pair: a* b*))