From c87dbd87a7aa1491706d493c477bfd0ad978317d Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Thu, 29 Nov 2012 18:08:33 -0500
Subject: [PATCH] Forgot to add the test for commit b4dd3b5e1dcb

Relevant to PR 13209

original commit: d7163142be1b1d1d1f92bb233a1734762205e0de
---
 collects/tests/typed-racket/fail/pr13209.rkt | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 collects/tests/typed-racket/fail/pr13209.rkt

diff --git a/collects/tests/typed-racket/fail/pr13209.rkt b/collects/tests/typed-racket/fail/pr13209.rkt
new file mode 100644
index 00000000..9346a48e
--- /dev/null
+++ b/collects/tests/typed-racket/fail/pr13209.rkt
@@ -0,0 +1,9 @@
+#;
+(exn-pred exn:fail:syntax?)
+#lang typed/racket
+
+(struct: (α) leaf ({value : α}))
+(struct: (α) node ({left : [Tree α]} {right : [Tree α]}))
+
+(define-type (Tree α) (mu Tree (U (leaf α) (node Tree Tree))))
+