Skip to content

Instantly share code, notes, and snippets.

@hrvolapeter
Created March 23, 2018 18:18
Show Gist options
  • Save hrvolapeter/dd3b2c8c31b6d95fedec427344e51667 to your computer and use it in GitHub Desktop.
Save hrvolapeter/dd3b2c8c31b6d95fedec427344e51667 to your computer and use it in GitHub Desktop.
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: run_pass: DefId(0/0:3 ~ borrowck_move_out_from_array[317d]::move_out_from_begin_and_end[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: run_pass: DefId(0/0:4 ~ borrowck_move_out_from_array[317d]::move_out_by_const_index_and_subslice[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: run_pass: DefId(0/0:5 ~ borrowck_move_out_from_array[317d]::main[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check: run query mir_borrowck: move_out_from_begin_and_end
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll: replace_regions_in_mir(def_id=DefId(0/0:3 ~ borrowck_move_out_from_array[317d]::move_out_from_begin_and_end[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build(mir_def_id=DefId(0/0:3 ~ borrowck_move_out_from_array[317d]::move_out_from_begin_and_end[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: param_env=ParamEnv { caller_bounds: Slice([]), reveal: UserFacing, universe: UniverseIndex(0) }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: defining_ty=FnDef(DefId(0/0:3 ~ borrowck_move_out_from_array[317d]::move_out_from_begin_and_end[0]), Slice([]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: indices=UniversalRegionIndices { indices: {ReStatic: '_#0r} }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=())
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#0r to itself and to 'static
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#1r to itself and to 'static
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: global regions = 0..1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: extern regions = 1..1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::universal_regions: build: local regions = 1..2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_mir()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_mir: mir.arg_count=0
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=i32, ty_context=Location(bb0[3]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=i32)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=i32
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=i32, ty_context=Location(bb0[4]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=i32)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=i32
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=Const { ty: i32, val: Value(ByVal(Bytes(1))) })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=fn(i32) -> std::boxed::Box<i32> {<std::boxed::Box<T>><i32>::new}, ty_context=Location(bb0[8]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=fn(i32) -> std::boxed::Box<i32> {<std::boxed::Box<T>><i32>::new})
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=fn(i32) -> std::boxed::Box<i32> {<std::boxed::Box<T>><i32>::new}
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=Const { ty: fn(i32) -> std::boxed::Box<i32> {<std::boxed::Box<T>><i32>::new}, val: Value(ByVal(Undef)) })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=i32, ty_context=Location(bb0[8]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=i32)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=i32
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=Const { ty: i32, val: Value(ByVal(Bytes(2))) })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=std::boxed::Box<i32>, ty_context=Location(bb2[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=std::boxed::Box<i32>)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=std::boxed::Box<i32>
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=(), ty_context=ReturnTy(SourceInfo { span: borrowck-move-out-from-array.rs:17:1: 22:2, scope: scope[0] }))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=(), ty_context=LocalDecl { local: _0, source_info: SourceInfo { span: borrowck-move-out-from-array.rs:17:1: 22:2, scope: scope[0] } })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=[std::boxed::Box<i32>; 2], ty_context=LocalDecl { local: _1, source_info: SourceInfo { span: borrowck-move-out-from-array.rs:18:9: 18:10, scope: scope[1] } })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=[std::boxed::Box<i32>; 2])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=[std::boxed::Box<i32>; 2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=std::boxed::Box<i32>, ty_context=LocalDecl { local: _2, source_info: SourceInfo { span: borrowck-move-out-from-array.rs:18:14: 18:19, scope: scope[0] } })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=std::boxed::Box<i32>)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=std::boxed::Box<i32>
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=std::boxed::Box<i32>, ty_context=LocalDecl { local: _3, source_info: SourceInfo { span: borrowck-move-out-from-array.rs:18:14: 18:19, scope: scope[0] } })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=std::boxed::Box<i32>)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=std::boxed::Box<i32>
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=std::boxed::Box<i32>, ty_context=LocalDecl { local: _4, source_info: SourceInfo { span: borrowck-move-out-from-array.rs:18:21: 18:32, scope: scope[0] } })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=std::boxed::Box<i32>)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=std::boxed::Box<i32>
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=std::boxed::Box<i32>, ty_context=LocalDecl { local: _5, source_info: SourceInfo { span: borrowck-move-out-from-array.rs:19:13: 19:15, scope: scope[3] } })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=std::boxed::Box<i32>)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=std::boxed::Box<i32>
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=std::boxed::Box<i32>, ty_context=LocalDecl { local: _6, source_info: SourceInfo { span: borrowck-move-out-from-array.rs:20:14: 20:16, scope: scope[5] } })
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=std::boxed::Box<i32>)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=std::boxed::Box<i32>
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _3
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: (*_3)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _3
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_projection: Ty { ty: std::boxed::Box<i32> } Deref (*_3)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_constant(constant=const 1i32, location=bb0[4])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_constant: expected_ty=i32
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _3
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_constant(constant=const <std::boxed::Box<T>>::new, location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: normalize(value=[Binder(TraitPredicate(<i32 as std::marker::Sized>))], location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicates=[Binder(TraitPredicate(<i32 as std::marker::Sized>))], location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_constant: expected_ty=fn(i32) -> std::boxed::Box<i32> {<std::boxed::Box<T>><i32>::new}
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_constant(constant=const 2i32, location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_constant: expected_ty=i32
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _4
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _4
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _4
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _1[1 of 2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_projection: Ty { ty: [std::boxed::Box<i32>; 2] } ConstantIndex { offset: 1, min_length: 2, from_end: false } _1[1 of 2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _6
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _1[1 of 2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_projection: Ty { ty: [std::boxed::Box<i32>; 2] } ConstantIndex { offset: 1, min_length: 2, from_end: false } _1[1 of 2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _0
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _6
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: run_on_mir: borrowck-move-out-from-array.rs:17:1: 22:2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageLive(_1)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageLive(_2)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageLive(_3)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _3 = Box(i32)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicates=[Binder(TraitPredicate(<i32 as std::marker::Sized>))], location=bb0[3])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: (*_3) = const 1i32
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _2 = move _3
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageDead(_3)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageLive(_4)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:18:21: 18:32, scope: scope[0] }, kind: _4 = const <std::boxed::Box<T>>::new(const 2i32) -> [return: bb2, unwind: bb3] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: call, func_ty=fn(i32) -> std::boxed::Box<i32> {<std::boxed::Box<T>><i32>::new}
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: normalize(value=([i32]; variadic: false)->std::boxed::Box<i32>, location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_call_inputs(([i32]; variadic: false)->std::boxed::Box<i32>, [const 2i32])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:17:1: 22:2, scope: scope[0] }, kind: resume }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _1 = [move _2, move _4]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates(aggregate_kind=Array(std::boxed::Box<i32>), location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: normalize(value=[], location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates: predicates=[]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicates=[], location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:18:32: 18:33, scope: scope[0] }, kind: drop(_4) -> [return: bb4, unwind: bb3] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:18:32: 18:33, scope: scope[0] }, kind: drop(_2) -> bb1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageDead(_4)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:18:32: 18:33, scope: scope[0] }, kind: drop(_2) -> [return: bb5, unwind: bb1] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageDead(_2)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageLive(_5)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _5 = move _1[1 of 2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageLive(_6)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _6 = move _1[1 of 2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _0 = ()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates(aggregate_kind=Tuple, location=bb5[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: normalize(value=[], location=bb5[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates: predicates=[]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicates=[], location=bb5[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:22:1: 22:2, scope: scope[3] }, kind: drop(_6) -> [return: bb8, unwind: bb7] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:22:1: 22:2, scope: scope[0] }, kind: drop(_1) -> bb1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:22:1: 22:2, scope: scope[1] }, kind: drop(_5) -> bb6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageDead(_6)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:22:1: 22:2, scope: scope[1] }, kind: drop(_5) -> [return: bb9, unwind: bb6] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageDead(_5)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:22:1: 22:2, scope: scope[0] }, kind: drop(_1) -> [return: bb10, unwind: bb1] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_stmt: StorageDead(_1)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: borrowck-move-out-from-array.rs:22:2: 22:2, scope: scope[0] }, kind: return }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb0)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=std::boxed::Box<i32>, location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=std::boxed::Box<i32>, location=bb0[7])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=std::boxed::Box<i32>, location=bb0[6])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=std::boxed::Box<i32>, location=bb0[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=std::boxed::Box<i32>, location=bb0[4])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb0[8],
[
_2
]
),
(
bb0[7],
[
_2
]
),
(
bb0[6],
[
_2
]
),
(
bb0[5],
[]
),
(
bb0[4],
[]
),
(
bb0[3],
[]
),
(
bb0[2],
[]
),
(
bb0[1],
[]
),
(
bb0[0],
[]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[1]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[3]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[4]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[5]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb0[6] live_local=_2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb0[6] initialized=MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _2 } has initialized child MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_2, dropped_ty=std::boxed::Box<i32>, location=bb0[6])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[6]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb0[7] live_local=_2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb0[7] initialized=MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _2 } has initialized child MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_2, dropped_ty=std::boxed::Box<i32>, location=bb0[7])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[7]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb0[8] live_local=_2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb0[8] initialized=MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _2 } has initialized child MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_2, dropped_ty=std::boxed::Box<i32>, location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb0[8]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb1)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb1[0],
[]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb1[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb2)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=[std::boxed::Box<i32>; 2], location=bb2[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=std::boxed::Box<i32>, location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=std::boxed::Box<i32>, location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb2[1],
[
_1,
_2,
_4
]
),
(
bb2[0],
[
_2,
_4
]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[0] live_local=_2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[0] initialized=MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[0] initialized=MovePath { place: _4 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _2 } has initialized child MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_2, dropped_ty=std::boxed::Box<i32>, location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[0] live_local=_4
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[0] initialized=MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[0] initialized=MovePath { place: _4 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _4 } has initialized child MovePath { place: _4 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_4, dropped_ty=std::boxed::Box<i32>, location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb2[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb2[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] live_local=_2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] live_local=_4
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb2[1] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb2[1]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb3)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb3[0],
[
_2
]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb3[0] live_local=_2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb3[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb3[0] initialized=MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb3[0] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _2 } has initialized child MovePath { place: _2 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_2, dropped_ty=std::boxed::Box<i32>, location=bb3[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb3[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb4)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=[std::boxed::Box<i32>; 2], location=bb4[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=[std::boxed::Box<i32>; 2], location=bb4[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb4[1],
[
_1,
_2
]
),
(
bb4[0],
[
_1,
_2
]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[0] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[0] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb4[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[0] live_local=_2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[0] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb4[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[1] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[1] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb4[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[1] live_local=_2
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb4[1] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb4[1]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb5)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=[std::boxed::Box<i32>; 2], location=bb5[4])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=[std::boxed::Box<i32>; 2], location=bb5[3])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=[std::boxed::Box<i32>; 2], location=bb5[2])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=[std::boxed::Box<i32>; 2], location=bb5[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: push_type_live_constraint(live_ty=[std::boxed::Box<i32>; 2], location=bb5[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb5[6],
[
_1,
_5,
_6
]
),
(
bb5[5],
[
_1,
_5,
_6
]
),
(
bb5[4],
[
_1,
_5
]
),
(
bb5[3],
[
_1,
_5
]
),
(
bb5[2],
[
_1
]
),
(
bb5[1],
[
_1
]
),
(
bb5[0],
[
_1
]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[0] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[0] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb5[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb5[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[1] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[1] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb5[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb5[1]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[2] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[2] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[2] initialized=MovePath { parent: mp1, place: _1[1 of 2] }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb5[2])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb5[2]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[3] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[3] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[3] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb5[3])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[3] live_local=_5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[3] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[3] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _5 } has initialized child MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_5, dropped_ty=std::boxed::Box<i32>, location=bb5[3])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb5[3]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[4] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[4] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[4] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb5[4])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[4] live_local=_5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[4] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[4] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _5 } has initialized child MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_5, dropped_ty=std::boxed::Box<i32>, location=bb5[4])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb5[4]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { place: _6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb5[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] live_local=_5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { place: _6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _5 } has initialized child MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_5, dropped_ty=std::boxed::Box<i32>, location=bb5[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] live_local=_6
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[5] initialized=MovePath { place: _6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _6 } has initialized child MovePath { place: _6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_6, dropped_ty=std::boxed::Box<i32>, location=bb5[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb5[5]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb5[6])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] live_local=_5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _5 } has initialized child MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_5, dropped_ty=std::boxed::Box<i32>, location=bb5[6])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] live_local=_6
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb5[6] initialized=MovePath { place: _6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _6 } has initialized child MovePath { place: _6 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_6, dropped_ty=std::boxed::Box<i32>, location=bb5[6])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb5[6]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb6)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb6[0],
[
_1
]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb6[0] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb6[0] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb6[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb6[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb6[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb7)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb7[0],
[
_1,
_5
]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb7[0] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb7[0] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb7[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb7[0] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb7[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb7[0] live_local=_5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb7[0] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb7[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb7[0] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _5 } has initialized child MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_5, dropped_ty=std::boxed::Box<i32>, location=bb7[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb7[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb8)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb8[1],
[
_1,
_5
]
),
(
bb8[0],
[
_1,
_5
]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[0] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[0] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[0] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb8[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[0] live_local=_5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[0] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[0] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _5 } has initialized child MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_5, dropped_ty=std::boxed::Box<i32>, location=bb8[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb8[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[1] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[1] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[1] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb8[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[1] live_local=_5
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[1] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb8[1] initialized=MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { place: _5 } has initialized child MovePath { place: _5 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_5, dropped_ty=std::boxed::Box<i32>, location=bb8[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb8[1]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb9)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb9[1],
[
_1
]
),
(
bb9[0],
[
_1
]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb9[0] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb9[0] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb9[0] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb9[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb9[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb9[1] live_local=_1
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb9[1] initialized=MovePath { place: _0 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: location=bb9[1] initialized=MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: mpi=MovePath { first_child: mp8, place: _1 } has initialized child MovePath { first_child: mp8, place: _1 }
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_drop_live_constraint(dropped_local=_1, dropped_ty=[std::boxed::Box<i32>; 2], location=bb9[1])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb9[1]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb10)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb10[1],
[]
),
(
bb10[0],
[]
)
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb10[0]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb10[1]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: unnormalized_output_ty=()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check: normalize(value=(), location=bb0[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: normalized output_ty=()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: instantiated output_ty=()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: anon_type_map={}
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: mir_output_ty=()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: equated
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements(num_universal_regions=2)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: statements_before_block=[
0,
9,
10,
12,
13,
15,
22,
23,
24,
26,
28
]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: num_points=30
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(3))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[2]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[3]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(6))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[4]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(7))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[5]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(8))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[6]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(9))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[7]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(10))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb0[8]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(11))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb1[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(12))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb2[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(13))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb2[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(14))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb3[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(15))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb4[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(16))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb4[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(17))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb5[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(18))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb5[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(19))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb5[2]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(20))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb5[3]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(21))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb5[4]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(22))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb5[5]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(23))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb5[6]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(24))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb6[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(25))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb7[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(26))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb8[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(27))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb8[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(28))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb9[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(29))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb9[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(30))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb10[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(31))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=Location(bb10[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(0))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, i=UniversalRegion('_#0r))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(3))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[2]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[3]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(6))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[4]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(7))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[5]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(8))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[6]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(9))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[7]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(10))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb0[8]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(11))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb1[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(12))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb2[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(13))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb2[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(14))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb3[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(15))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb4[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(16))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb4[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(17))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb5[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(18))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb5[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(19))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb5[2]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(20))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb5[3]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(21))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb5[4]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(22))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb5[5]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(23))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb5[6]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(24))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb6[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(25))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb7[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(26))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb8[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(27))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb8[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(28))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb9[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(29))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb9[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(30))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb10[0]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(31))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=Location(bb10[1]))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(1))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, i=UniversalRegion('_#1r))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::subtype_constraint_generation: generate(liveness_set=0 items, outlives_sets=0 items)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=Box(i32), location=bb0[3])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: add_regular_live_constraint(live_ty=i32, location=bb0[3])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=const 1i32, location=bb0[4])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: add_regular_live_constraint(live_ty=i32, location=bb0[4])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=move _3, location=bb0[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: add_regular_live_constraint(live_ty=fn(i32) -> std::boxed::Box<i32> {<std::boxed::Box<T>><i32>::new}, location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: add_regular_live_constraint(live_ty=i32, location=bb0[8])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=[move _2, move _4], location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: add_regular_live_constraint(live_ty=std::boxed::Box<i32>, location=bb2[0])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=move _1[1 of 2], location=bb5[2])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=move _1[1 of 2], location=bb5[4])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=(), location=bb5[5])
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values()
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values: constraints=[]
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: --------------------
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#0r)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#1r)
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(0))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(3))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(6))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(7))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(8))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(9))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(10))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(11))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(12))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(13))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(14))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(15))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(16))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(17))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(18))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(19))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(20))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(21))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(22))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(23))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(24))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(25))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(26))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(27))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(28))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(29))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(30))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(31))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(1))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(3))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(6))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(7))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(8))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(9))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(10))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(11))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(12))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(13))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(14))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(15))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(16))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(17))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(18))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(19))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(20))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(21))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(22))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(23))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(24))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(25))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(26))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(27))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(28))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(29))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(30))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(31))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(0))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(3))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(6))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(7))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(8))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(9))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(10))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(11))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(12))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(13))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(14))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(15))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(16))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(17))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(18))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(19))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(20))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(21))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(22))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(23))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(24))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(25))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(26))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(27))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(28))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(29))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(30))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(31))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(1))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(3))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(6))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(7))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(8))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(9))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(10))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(11))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(12))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(13))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(14))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(15))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(16))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(17))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(18))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(19))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(20))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(21))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(22))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(23))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(24))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(25))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(26))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(27))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(28))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(29))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(30))
DEBUG 2018-03-23T18:14:46Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(31))
thread 'rustc' panicked at 'index out of bounds: the len is 9 but the index is 9', /Users/peterhrvola/dev/rust/src/libcore/slice/mod.rs:865:10
note: Run with `RUST_BACKTRACE=1` for a backtrace.
error: internal compiler error: unexpected panic
note: the compiler unexpectedly panicked. this is a bug.
note: we would appreciate a bug report: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#bug-reports
note: rustc 1.26.0-dev running on x86_64-apple-darwin
note: compiler flags: -Z nll -Z borrowck=mir -Z dump-mir=nll -Z treat-err-as-bug
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment