Use new parameter/c argument for contract generation

Closes PR 13446

original commit: 4b279eaf6a71017733888bc5df3a6b95bfe4d082

collects/tests/typed-racket/fail/pr13446.rkt

@@ -0,0 +1,12 @@
+#;
+(exn-pred #rx"blaming: top-level")
+#lang racket/load
+
+(module a typed/racket
+  (provide p)
+  (: p (Parameterof String Index))
+  (define p (make-parameter 0 string-length)))
+
+(require 'a)
+(p 0)
+

collects/typed-racket/private/type-contract.rkt

@@ -422,7 +422,7 @@
         ;; TODO Is this sound?
 	[(Param: in out) 
 	 (set-impersonator!)
-	 #`(parameter/c #,(t->c out))]
+	 #`(parameter/c #,(t->c in) #,(t->c out))]
         [(Hashtable: k v)
          (when (equal? kind flat-sym) (exit (fail)))
          #`(hash/c #,(t->c k #:kind chaperone-sym) #,(t->c v) #:immutable 'dont-care)]