diff --git a/collects/tests/typed-racket/fail/sort.rkt b/collects/tests/typed-racket/succeed/sort-infer.rkt similarity index 51% rename from collects/tests/typed-racket/fail/sort.rkt rename to collects/tests/typed-racket/succeed/sort-infer.rkt index 0e61eaac..c53e3c82 100644 --- a/collects/tests/typed-racket/fail/sort.rkt +++ b/collects/tests/typed-racket/succeed/sort-infer.rkt @@ -1,5 +1,3 @@ -#; -(exn-pred exn:fail:syntax? #rx".*Cannot infer.*Please add more type annotations.*") #lang typed/racket (define ss '("one" "two" "three")) ; (Listof String) (sort ss string