rustc: Infer regions of variant arguments to the caller region

Author: pcwalton

src/rustc/middle/region.rs

@@ -244,8 +244,8 @@ fn resolve_expr(expr: @ast::expr, cx: ctxt, visitor: visit::vt<ctxt>) {
 fn resolve_item(item: @ast::item, cx: ctxt, visitor: visit::vt<ctxt>) {
     // Items create a new outer block scope as far as we're concerned.
     let parent = alt item.node {
-        ast::item_fn(_, _, _)   { pa_fn_item(item.id) }
-        _                       { pa_item(item.id)    }
+        ast::item_fn(_, _, _) | ast::item_enum(_, _) { pa_fn_item(item.id) }
+        _ { pa_item(item.id) }
     };
     let new_cx: ctxt = {bindings: @list::nil,
                         parent: parent,

src/rustc/middle/ty.rs

@@ -1925,6 +1925,10 @@ mod unify {
             }
         }
 
+        if sub == ty::re_inferred || super == ty::re_inferred {
+            ret if sub == super { some(super) } else { none };
+        }
+
         // Outer regions are subtypes of inner regions. (This is somewhat
         // surprising!)
         let superscope = region::region_to_scope(cx.tcx.region_map, super);