diff --git a/collects/tests/plai/datatype-coverage.rkt b/collects/tests/plai/datatype-coverage.rkt
new file mode 100644
index 0000000000..a1abf088da
--- /dev/null
+++ b/collects/tests/plai/datatype-coverage.rkt
@@ -0,0 +1,11 @@
+#lang plai
+;; RE: PR10485
+(define-type toy
+  [airplane (lift number?) (name string?)])
+
+(type-case toy (airplane 3412 "the bat!")
+  [airplane (lift name) (+ lift 13)])
+
+;; The body of this function should be the only red in the file
+(define (f x)
+  (+ 1 1))
\ No newline at end of file