diff options
| author | Marijn Haverbeke <marijnh@gmail.com> | 2012-01-27 18:58:52 +0100 |
|---|---|---|
| committer | Marijn Haverbeke <marijnh@gmail.com> | 2012-01-27 18:58:52 +0100 |
| commit | e48bf6f3f4d1ca07f0c2820c6cfaad275bc106ac (patch) | |
| tree | 7a2026c20a220710ad111dddae3e14ca6448c853 /src/test | |
| parent | 362625008ab9e3479f7e34212e1887a3ad6d93b8 (diff) | |
Make occurs check in ty::fixup_vars more reliable
It wouldn't detect cycles that went through several type vars before. Closes #1464
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/compile-fail/occurs-check.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/compile-fail/occurs-check.rs b/src/test/compile-fail/occurs-check.rs index aba5b5c5928..069bd0a5bbd 100644 --- a/src/test/compile-fail/occurs-check.rs +++ b/src/test/compile-fail/occurs-check.rs @@ -1,2 +1,2 @@ -// error-pattern: Type inference failed because I could not find +// error-pattern: can not instantiate infinite type fn main() { let f; f = @f; } |