diff --git a/collects/tests/typed-scheme/fail/tc-error-format.rkt b/collects/tests/typed-scheme/fail/tc-error-format.rkt
new file mode 100644
index 0000000000..f328fd5c95
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/tc-error-format.rkt
@@ -0,0 +1,2 @@
+#lang typed/racket
+(ann '~s Nothing)