From ae234d61eae736f2d5bfba2b223417be539a5936 Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Wed, 22 Jun 2011 20:45:02 -0700 Subject: [PATCH] rustc: Remove some unneeded type annotations --- src/comp/middle/ty.rs | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index 9a6fd4bbd92..9c54b86dcd3 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -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);