Correctly protect Procedures in TR.

Closes PR 13664.
(cherry picked from commit fc36c12ce4)

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

@@ -0,0 +1,20 @@
+#;
+(exn-pred #rx"arity mismatch")
+#lang racket/load
+
+(module untyped racket
+  (provide f)
+  (define (f g)
+    (g "foo")))
+    
+
+(module typed typed/racket
+  (require/typed 'untyped
+    [f (Procedure -> Any)])
+
+  (: g (Byte -> Natural))
+  (define (g x) (add1 x))
+  
+  (f g))
+
+(require 'typed)

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

@@ -129,7 +129,7 @@
         (loop t (not pos?) (not from-typed?) structs-seen kind))
       (define (t->c/fun f #:method [method? #f])
         (match f
-          [(Function: (list (top-arr:))) (if pos? #'(case->) #'procedure?)]
+          [(Function: (list (top-arr:))) #'(case->)]
           [(Function: arrs)
            (set-chaperone!)
            ;; Try to generate a single `->*' contract if possible.