nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-12-02 19:53:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

rustc: Remove some unneeded type annotations

Browse Source
This commit is contained in:
Brian Anderson 2011-06-22 20:45:02 -07:00
parent d2b7ea877c
commit ae234d61ea
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/comp/middle/ty.rs
View File

@ -1885,25 +1885,25 @@ mod unify {
smallintmap::insert[t](cx.vb.types, root_c, t);
} (_, _, set_a, set_b);
alt (smallintmap::find[t](cx.vb.types, root_a)) {
case (none[t]) {
alt (smallintmap::find[t](cx.vb.types, root_b)) {
case (none[t]) {
alt (smallintmap::find(cx.vb.types, root_a)) {
case (none) {
alt (smallintmap::find(cx.vb.types, root_b)) {
case (none) {
ufind::union(cx.vb.sets, set_a, set_b);
ret unres_ok; }
case (some[t](?t_b)) {
case (some(?t_b)) {
replace_type(cx, t_b);
ret unres_ok;
}
}
}
case (some[t](?t_a)) {
alt (smallintmap::find[t](cx.vb.types, root_b)) {
case (none[t]) {
case (some(?t_a)) {
alt (smallintmap::find(cx.vb.types, root_b)) {
case (none) {
replace_type(cx, t_a);
ret unres_ok;
}
case (some[t](?t_b)) {
case (some(?t_b)) {
alt (unify_step(cx, t_a, t_b)) {
case (ures_ok(?t_c)) {
replace_type(cx, t_c);