user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rustc: Fail to unify if two ty_vars don't unify

Browse source 
Closes #500
This commit is contained in:
Brian Anderson 2011-06-17 11:23:32 -07:00
parent 2a69db5b76
commit a4d88dacc9
2 changed files with 15 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/comp/middle/ty.rs
View file

@ -1943,7 +1943,12 @@ mod unify {
alt (struct(cx.tcx, expected)) {
case (ty::ty_var(?expected_id)) {
auto expected_n = expected_id as uint;
union(cx, expected_n, actual_n);
alt(union(cx, expected_n, actual_n)) {
case (unres_ok) { /* fall through */ }
case (unres_err(?t_e)) {
ret ures_err(t_e);
}
}
}
case (_) {