Skip to content

Instantly share code, notes, and snippets.

@nikomatsakis

nikomatsakis/killme

Created July 11, 2017 14:37
Show Gist options
  • Save nikomatsakis/afa95d03a7e2f948f444f4c08ec4482d to your computer and use it in GitHub Desktop.
Save nikomatsakis/afa95d03a7e2f948f444f4c08ec4482d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
killme
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=4) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=4) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=4) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=4) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=9) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=9) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=9) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=9) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=34) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=34) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=26) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=26) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=30) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=30) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=12) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=12) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=30) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=30) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: created new region variable '_#0r with origin Coercion(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: created new region variable '_#1r with origin MiscVariable(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(2)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: created new region variable '_#2r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10, 'a(1304), None)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(7)
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#2r, '_#0r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#2r, '_#0r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#0r, '_#2r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#0r, '_#2r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=7,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: created new region variable '_#2r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10, 'a(1304), None)
DEBUG:rustc::infer::region_inference: created new region variable '_#3r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10, 'b(1637), None)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(8)
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#3r, '_#0r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#3r, '_#0r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#0r, '_#3r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#0r, '_#3r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=8,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: created new region variable '_#2r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10, 'a(1304), None)
DEBUG:rustc::infer::region_inference: created new region variable '_#3r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10, 'b(1637), None)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(8)
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#3r, '_#0r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#3r, '_#0r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#0r, '_#3r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#0r, '_#3r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#2r, '_#1r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#2r, '_#1r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#1r, '_#2r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#1r, '_#2r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(8)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: created new region variable '_#2r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10, 'a(1304), None)
DEBUG:rustc::infer::region_inference: created new region variable '_#3r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10, 'b(1637), None)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(8)
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#3r, '_#0r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#3r, '_#0r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#0r, '_#3r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#0r, '_#3r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#2r, '_#1r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#2r, '_#1r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#1r, '_#2r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#1r, '_#2r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(8)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(5)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(13)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(13)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: created new region variable '_#4r with origin Coercion(/Users/nmatsakis/tmp/nll.rs:4:34: 6:6)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: created new region variable '_#5r with origin MiscVariable(/Users/nmatsakis/tmp/nll.rs:4:34: 6:6)
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(2)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: created new region variable '_#6r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:4:34: 6:6, 'a(1304), None)
DEBUG:rustc::infer::region_inference: created new region variable '_#7r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:4:34: 6:6, 'b(1637), None)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(8)
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#7r, '_#4r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#7r, '_#4r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#4r, '_#7r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#4r, '_#7r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#6r, '_#5r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#6r, '_#5r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion('_#5r, '_#6r) due to Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainVarSubVar('_#5r, '_#6r))
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(8)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(5)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(13)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(13)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReScope(CodeExtent(17/Misc(NodeId(30)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) due to ExprTypeIsNotInScope(&ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) u8, /Users/nmatsakis/tmp/nll.rs:4:34: 6:6)
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubReg(ReScope(CodeExtent(17/Misc(NodeId(30)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) due to ExprTypeIsNotInScope(&ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)) u8, /Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) due to DerefPointer(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) due to Reborrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubReg(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) due to AutoBorrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) due to RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:12: 4:17, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) Foo)
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) due to RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:19: 4:20, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)) u8)
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))))
DEBUG:rustc::infer::region_inference: RegionVarBindings: make_subregion(ReScope(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) })), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) due to CallReturn(/Users/nmatsakis/tmp/nll.rs:4:5: 6:6)
DEBUG:rustc::infer::region_inference: RegionVarBindings: add_constraint(ConstrainRegSubReg(ReScope(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) })), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=12) ()----
DEBUG:rustc::infer::region_inference: Constraint 0 => ConstrainVarSubVar('_#7r, '_#4r)
DEBUG:rustc::infer::region_inference: Constraint 1 => ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r)
DEBUG:rustc::infer::region_inference: Constraint 2 => ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)))
DEBUG:rustc::infer::region_inference: Constraint 3 => ConstrainVarSubVar('_#5r, '_#6r)
DEBUG:rustc::infer::region_inference: Constraint 4 => ConstrainVarSubVar('_#1r, '_#2r)
DEBUG:rustc::infer::region_inference: Constraint 5 => ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)))
DEBUG:rustc::infer::region_inference: Constraint 6 => ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)))
DEBUG:rustc::infer::region_inference: Constraint 7 => ConstrainRegSubReg(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)))
DEBUG:rustc::infer::region_inference: Constraint 8 => ConstrainVarSubVar('_#3r, '_#0r)
DEBUG:rustc::infer::region_inference: Constraint 9 => ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r)
DEBUG:rustc::infer::region_inference: Constraint 10 => ConstrainRegSubReg(ReScope(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) })), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)))
DEBUG:rustc::infer::region_inference: Constraint 11 => ConstrainVarSubVar('_#6r, '_#5r)
DEBUG:rustc::infer::region_inference: Constraint 12 => ConstrainVarSubVar('_#2r, '_#1r)
DEBUG:rustc::infer::region_inference: Constraint 13 => ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)))
DEBUG:rustc::infer::region_inference: Constraint 14 => ConstrainRegSubReg(ReScope(CodeExtent(17/Misc(NodeId(30)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)))
DEBUG:rustc::infer::region_inference: Constraint 15 => ConstrainVarSubVar('_#4r, '_#7r)
DEBUG:rustc::infer::region_inference: Constraint 16 => ConstrainVarSubVar('_#0r, '_#3r)
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=12) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#7r, '_#4r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#4r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: Expanding value of '_#1r from ReEmpty to ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))
DEBUG:rustc::infer::region_inference: Updated due to constraint ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:12: 4:17, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) Foo)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#5r, '_#6r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#6r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#1r, '_#2r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#2r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: Expanding value of '_#2r from ReEmpty to ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))
DEBUG:rustc::infer::region_inference: Updated due to constraint ConstrainVarSubVar('_#1r, '_#2r)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:19: 4:20, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)) u8)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=AutoBorrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=Reborrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#3r, '_#0r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#0r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: Expanding value of '_#5r from ReEmpty to ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))
DEBUG:rustc::infer::region_inference: Updated due to constraint ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) })), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=CallReturn(/Users/nmatsakis/tmp/nll.rs:4:5: 6:6)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#6r, '_#5r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#5r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#2r, '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=DerefPointer(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(17/Misc(NodeId(30)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=ExprTypeIsNotInScope(&ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) u8, /Users/nmatsakis/tmp/nll.rs:4:34: 6:6)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#4r, '_#7r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#7r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#0r, '_#3r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#3r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion2
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#7r, '_#4r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#4r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:12: 4:17, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) Foo)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#5r, '_#6r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#6r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: Expanding value of '_#6r from ReEmpty to ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))
DEBUG:rustc::infer::region_inference: Updated due to constraint ConstrainVarSubVar('_#5r, '_#6r)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#1r, '_#2r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#2r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:19: 4:20, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)) u8)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=AutoBorrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=Reborrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#3r, '_#0r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#0r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) })), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=CallReturn(/Users/nmatsakis/tmp/nll.rs:4:5: 6:6)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#6r, '_#5r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#2r, '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=DerefPointer(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(17/Misc(NodeId(30)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=ExprTypeIsNotInScope(&ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) u8, /Users/nmatsakis/tmp/nll.rs:4:34: 6:6)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#4r, '_#7r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#7r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#0r, '_#3r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#3r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion3
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#7r, '_#4r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#4r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:12: 4:17, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) Foo)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#5r, '_#6r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#6r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#1r, '_#2r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#2r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:19: 4:20, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)) u8)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=AutoBorrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=Reborrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#3r, '_#0r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#0r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) })), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=CallReturn(/Users/nmatsakis/tmp/nll.rs:4:5: 6:6)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#6r, '_#5r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#2r, '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r == Value(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=DerefPointer(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainRegSubReg(ReScope(CodeExtent(17/Misc(NodeId(30)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=ExprTypeIsNotInScope(&ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) u8, /Users/nmatsakis/tmp/nll.rs:4:34: 6:6)
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#4r, '_#7r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#7r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: expansion: constraint=ConstrainVarSubVar('_#0r, '_#3r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: expand_node(ReEmpty, '_#3r == Value(ReEmpty))
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 3 iteration(s)
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainVarSubVar('_#7r, '_#4r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:12: 4:17, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) Foo)
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainVarSubVar('_#5r, '_#6r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainVarSubVar('_#1r, '_#2r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubReg(ReEmpty, ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=RelateParamBound(/Users/nmatsakis/tmp/nll.rs:4:19: 4:20, &ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1)) u8)
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=AutoBorrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubReg(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=Reborrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: collect_errors: region error at Reborrow(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10): cannot verify that ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) <= ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainVarSubVar('_#3r, '_#0r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubVar(ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)), '_#5r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: ExprAssignable }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubReg(ReScope(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) })), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=CallReturn(/Users/nmatsakis/tmp/nll.rs:4:5: 6:6)
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainVarSubVar('_#6r, '_#5r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainVarSubVar('_#2r, '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubReg(ReScope(CodeExtent(19/Misc(NodeId(25)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(1))) origin=DerefPointer(/Users/nmatsakis/tmp/nll.rs:5:9: 5:10)
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainRegSubReg(ReScope(CodeExtent(17/Misc(NodeId(30)))), ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0))) origin=ExprTypeIsNotInScope(&ReFree(CodeExtent(12/CallSiteScope { fn_id: NodeId(12), body_id: NodeId(30) }), BrAnon(0)) u8, /Users/nmatsakis/tmp/nll.rs:4:34: 6:6)
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainVarSubVar('_#4r, '_#7r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:4:34: 6:6, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: collect_errors: constraint=ConstrainVarSubVar('_#0r, '_#3r) origin=Subtype(TypeTrace(ObligationCause { span: /Users/nmatsakis/tmp/nll.rs:5:9: 5:10, body_id: NodeId(30), code: MiscObligation }))
DEBUG:rustc::infer::region_inference: collect_var_errors
error[E0312]: lifetime of reference outlives lifetime of borrowed content...
--> /Users/nmatsakis/tmp/nll.rs:5:9
|
5 | x
| ^
|
note: ...the reference is valid for the anonymous lifetime #1 defined on the body at 4:33...
--> /Users/nmatsakis/tmp/nll.rs:4:34
|
4 | fn foo(&self, x: &u8) -> &u8 {
| __________________________________^
5 | | x
6 | | }
| |_____^
note: ...but the borrowed content is only valid for the anonymous lifetime #2 defined on the body at 4:33
--> /Users/nmatsakis/tmp/nll.rs:4:34
|
4 | fn foo(&self, x: &u8) -> &u8 {
| __________________________________^
5 | | x
6 | | }
| |_____^
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=34) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=34) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(1)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(1)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: created new region variable '_#0r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:9:11: 10:2, 'a(1304), None)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(4)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=4,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=2,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: created new region variable '_#0r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:9:11: 10:2, 'a(1304), None)
DEBUG:rustc::infer::region_inference: created new region variable '_#1r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:9:11: 10:2, 'b(1637), None)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=2,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=2,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=2,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: created new region variable '_#0r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:9:11: 10:2, 'a(1304), None)
DEBUG:rustc::infer::region_inference: created new region variable '_#1r with origin EarlyBoundRegion(/Users/nmatsakis/tmp/nll.rs:9:11: 10:2, 'b(1637), None)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(5)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=5,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=2,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=2,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: RegionVarBindings: rollback_to(RegionSnapshot(length=2,skolemization=0))
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(2)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(2)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: start_snapshot(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: commit(0)
DEBUG:rustc::infer::region_inference: RegionVarBindings: resolve_regions()
DEBUG:rustc::infer::region_inference: ----() Start constraint listing (subject=26) ()----
DEBUG:rustc::infer::region_inference: ----() End constraint listing (subject=26) ()---
DEBUG:rustc::infer::region_inference: ---- # Iteration Expansion1
DEBUG:rustc::infer::region_inference: ---- Expansion Complete after 1 iteration(s)
DEBUG:rustc::infer::region_inference: collect_var_errors
error: aborting due to previous error
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment