diff --git a/collects/tests/typed-scheme/fail/safe-letrec.rkt b/collects/tests/typed-scheme/fail/safe-letrec.rkt
index 3bf6dffb..32acee2c 100644
--- a/collects/tests/typed-scheme/fail/safe-letrec.rkt
+++ b/collects/tests/typed-scheme/fail/safe-letrec.rkt
@@ -1,7 +1,9 @@
 #;
-(exn-pred 1)
+(exn-pred 2)
 #lang typed/racket
 
 ;; make sure letrec takes into account that some bidings may be undefined
 
 (+ (letrec: ([x : Float x]) x) 1) ; PR 11511
+
+(letrec: ([x : Float (+ x 1)]) 0) ; error in rhs