From 7fcba3fcaa49496bc04575694be7d0327fe06d92 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 15 Dec 2016 20:17:43 -0600
Subject: [PATCH] another test case

---
 pkgs/racket-test/tests/racket/contract/arrow-i.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/racket-test/tests/racket/contract/arrow-i.rkt b/pkgs/racket-test/tests/racket/contract/arrow-i.rkt
index 2e323bdc97..3b7646e66f 100644
--- a/pkgs/racket-test/tests/racket/contract/arrow-i.rkt
+++ b/pkgs/racket-test/tests/racket/contract/arrow-i.rkt
@@ -174,6 +174,11 @@
    '->i8
    '((contract (->i ([x number?] [y (x) (<=/c x)]) () [r (x) (<=/c x)]) 
                (lambda (x y) (+ x 1)) 'pos 'neg) 1 2))
+
+  (test/neg-blame
+   '->i8b
+   '((contract (->i ([x number?] [y (x) number?]) any)
+               (lambda (x y) y) 'pos 'neg) "1" 2))
   
   (test/spec-passed
    '->i9