Allow requiring functions with filters in contravariant positions.

collects/tests/typed-racket/succeed/require-typed-contravariant-filter.rkt

@@ -0,0 +1,12 @@
+#lang racket/load
+
+(module untyped racket
+  (provide f)
+  (define (f g) 'g))
+    
+
+(module typed typed/racket
+  (require/typed 'untyped
+    [f ((Any -> Boolean : Symbol) -> Symbol)]))
+
+(require 'typed)

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

@@ -205,7 +205,7 @@
                               (and rst (t->c/neg rst))))]
                    ;; functions with filters or objects
                    [(arr: dom (Values: (list (Result: rngs _ _) ...)) rst #f '())
-                    (if (and from-typed? pos?)
+                    (if from-typed?
                         (values (map t->c/neg dom)
                                 null
                                 (map t->c rngs)