Tell regionck that user unops are by value

2026-05-21 17:52:12 +03:00 · 2014-12-15 16:18:17 -05:00
parent b98c3bd4d2
commit 5caebb23cd
1 changed files with 4 additions and 2 deletions
@@ -682,10 +682,12 @@ fn visit_expr(rcx: &mut Rcx, expr: &ast::Expr) {
            visit::walk_expr(rcx, expr);
        }

-        ast::ExprUnary(_, ref lhs) if has_method_map => {
+        ast::ExprUnary(op, ref lhs) if has_method_map => {
+            let implicitly_ref_args = !ast_util::is_by_value_unop(op);
+
            // As above.
            constrain_call(rcx, expr, Some(&**lhs),
-                           None::<ast::Expr>.iter(), true);
+                           None::<ast::Expr>.iter(), implicitly_ref_args);

            visit::walk_expr(rcx, expr);
        }