From 154a3fdf4427ad3de7dc7a5a1a1fe7ee737dc99c Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Fri, 16 Mar 2012 16:49:11 -0700 Subject: rustc: Unify impl self types in the opposite order so variance is correct --- src/rustc/middle/typeck.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/rustc') diff --git a/src/rustc/middle/typeck.rs b/src/rustc/middle/typeck.rs index 1754625d5c9..cc52283dc07 100644 --- a/src/rustc/middle/typeck.rs +++ b/src/rustc/middle/typeck.rs @@ -1909,7 +1909,7 @@ fn lookup_method_inner(fcx: @fn_ctxt, expr: @ast::expr, let ty = universally_quantify_regions(tcx, ty); - alt unify::unify(fcx, ty, self_ty) { + alt unify::unify(fcx, self_ty, ty) { result::ok(_) { if option::is_some(result) { // FIXME[impl] score specificity to resolve ambiguity? -- cgit 1.4.1-3-g733a5