From c35bf9ca04c9cfb441646db00a8b826b274c0b25 Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Fri, 5 Aug 2011 15:46:50 -0700
Subject: [PATCH] Another test for the occurs check, this one from issue 778

---
 src/test/compile-fail/occurs-check-3.rs | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/test/compile-fail/occurs-check-3.rs

diff --git a/src/test/compile-fail/occurs-check-3.rs b/src/test/compile-fail/occurs-check-3.rs
new file mode 100644
index 000000000000..f0439b87aed8
--- /dev/null
+++ b/src/test/compile-fail/occurs-check-3.rs
@@ -0,0 +1,4 @@
+// error-pattern:mismatched types
+// From Issue #778
+tag clam[T] { a(T); }
+fn main() { let c = a(c); alt c { a[int](_) { } } }