diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-08-05 15:46:50 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-08-05 15:47:17 -0700 |
| commit | c35bf9ca04c9cfb441646db00a8b826b274c0b25 (patch) | |
| tree | e4cb51f4c710894024c29467a5c33913337fc927 | |
| parent | b62e80c1f022131da963da84ef6768f300c2c5c3 (diff) | |
| download | rust-c35bf9ca04c9cfb441646db00a8b826b274c0b25.tar.gz rust-c35bf9ca04c9cfb441646db00a8b826b274c0b25.zip | |
Another test for the occurs check, this one from issue 778
| -rw-r--r-- | src/test/compile-fail/occurs-check-3.rs | 4 |
1 files changed, 4 insertions, 0 deletions
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 00000000000..f0439b87aed --- /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](_) { } } } |