diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
index 381edb30..29808193 100644
--- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
@@ -888,6 +888,9 @@
         (tc-e (path->directory-path "foo") -Path)
         (tc-e (path->directory-path (string->some-system-path "foo" 'unix)) -SomeSystemPath)
 
+        (tc-e (resolve-path "foo") -Path)
+        (tc-e (expand-user-path "foo") -Path)
+
         ;;String Tests
         (tc-e (string? "a") #:ret (ret B (-FS -top -bot)))
         (tc-e (string? 2) #:ret (ret B (-FS -bot -top)))
diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt
index a0d3e9cf..9de38303 100644
--- a/collects/typed-scheme/base-env/base-env.rkt
+++ b/collects/typed-scheme/base-env/base-env.rkt
@@ -888,11 +888,11 @@
  (cl->* (-> -Pathlike -Path)
         (-> -SomeSystemPathlike -SomeSystemPath))]
 
-[resolve-path (-> -Path -Path)]
+[resolve-path (-> -Pathlike -Path)]
 [cleanse-path
  (cl->* (-> -Pathlike -Path)
         (-> -SomeSystemPathlike -SomeSystemPath))]
-[expand-user-path (-> -Path -Path)]
+[expand-user-path (-> -Pathlike -Path)]
 
 [simplify-path
  (cl->*