added failing test case pointed out by Matthew

svn: r7400

original commit: 0dacc38c534c9d59c0ec4d0ac6e37867f562c538

collects/tests/mzscheme/contract-test.ss

@@ -5188,6 +5188,21 @@ so that propagation occurs.
                (define-syntax (f stx)
                  make-bound-identifier-mapping)))))
   
+  (test/spec-passed
+   'provide/contract23
+   '(begin
+      (eval '(module m mzscheme
+               (require (lib "contract.ss"))
+               (provide/contract [f integer?])
+               (define f 3)))
+      
+      (eval '(module n mzscheme
+               (require m)
+               (#%expression f)
+               f))
+      
+      (eval '(require n))))
+  
   (contract-error-test
    #'(begin
        (eval '(module pce1-bug mzscheme