Skip to content

Instantly share code, notes, and snippets.

@lqd

lqd/-Z verbose Secret

Created July 18, 2018 14:46
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lqd/18f805512135d5873b5c97520202866c to your computer and use it in GitHub Desktop.
Save lqd/18f805512135d5873b5c97520202866c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
-Z verbose
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: run_pass: DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: run_pass: DefId(0/0:10 ~ main[317d]::main[0])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: run query mir_borrowck: <Drain<ReEarlyBound(0, 'a), T> as Join>::get
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll: replace_regions_in_mir(def_id=DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build(mir_def_id=DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: param_env=ParamEnv { caller_bounds: [Binder(TraitPredicate(<T as std::marker::Sized>))], reveal: UserFacing }
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: defining_ty=FnDef(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), ['_#1r, T])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: indices=UniversalRegionIndices { indices: {ReEarlyBound(0, 'a): '_#1r, ReStatic: '_#0r} }
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: replace_bound_regions_with_nll_infer_vars(value=Binder([&ReLateBound(DebruijnIndex(0), BrNamed(crate0:DefIndex(1:14), 'b)) mut <Drain<'_#1r, T> as Join>::Value, ()]), all_outlive_scope=DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: liberated_region=ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) => '_#2r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=&'_#2r mut <Drain<'_#1r, T> as Join>::Value
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=&'_#2r mut <Drain<'_#1r, T> as Join>::Value)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubRegion('_#2r, '_#4r))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#4r outlives fr_b='_#2r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubParam('_#2r, T/#1))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubParam('_#1r, T/#1))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=())
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#0r to itself and to 'static
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#3r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#1r to itself and to 'static
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#3r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#2r to itself and to 'static
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#2r outlives fr_b='_#2r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#2r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#2r outlives fr_b='_#3r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#3r to itself and to 'static
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#3r outlives fr_b='_#3r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#3r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#3r outlives fr_b='_#3r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: global regions = 0..1
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: extern regions = 1..2
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: local regions = 2..4
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_mir()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_mir: mir.arg_count=1
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=(), ty_context=ReturnTy(SourceInfo { span: src/main.rs:16:5: 17:6, scope: scope[0] }))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=(), ty_context=LocalDecl { local: _0, source_info: SourceInfo { span: src/main.rs:16:5: 17:6, scope: scope[0] } })
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &ReEarlyBound(0, 'a) mut std::option::Option<T>, ty_context=LocalDecl { local: _1, source_info: SourceInfo { span: src/main.rs:16:16: 16:21, scope: scope[0] } })
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &ReEarlyBound(0, 'a) mut std::option::Option<T>)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=&'_#5r mut &'_#6r mut std::option::Option<T>
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::location: LocationTable(statements_before_block=[
0
])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::location: LocationTable: num_points=4
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _0
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: run_on_mir: src/main.rs:16:5: 17:6
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _0 = ()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates(aggregate_kind=Tuple, location=bb0[0])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), locations=Interesting(bb0[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: prove_predicate(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), location=Interesting(bb0[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: src/main.rs:17:6: 17:6, scope: scope[0] }, kind: return }
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb0)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints regular-simulate-block (live_locals=[])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints regular-simulate-block (live_locals=[])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb0[1],
[]
),
(
bb0[0],
[]
)
]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[0]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb0[1]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: normalize(value=&'_#2r mut <Drain<'_#1r, T> as Join>::Value, location=All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: push_region_constraints: constraints generated at All are [
Binder(
OutlivesPredicate(
'_#1r,
'_#1r
)
)
]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#1r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_normalized_input_or_output(a=&'_#2r mut &'_#1r mut std::option::Option<T>, b=&'_#5r mut &'_#6r mut std::option::Option<T>)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: push_region_constraints: constraints generated at All are [
Binder(
OutlivesPredicate(
'_#5r,
'_#2r
)
),
Binder(
OutlivesPredicate(
'_#2r,
'_#5r
)
),
Binder(
OutlivesPredicate(
'_#6r,
'_#1r
)
),
Binder(
OutlivesPredicate(
'_#1r,
'_#6r
)
),
Binder(
OutlivesPredicate(
'_#2r,
'_#2r
)
),
Binder(
OutlivesPredicate(
'_#1r,
'_#1r
)
),
Binder(
OutlivesPredicate(
'_#2r,
'_#2r
)
),
Binder(
OutlivesPredicate(
'_#1r,
'_#1r
)
)
]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#5r: '_#2r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#2r: '_#5r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#6r: '_#1r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#6r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#2r: '_#2r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#1r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#2r: '_#2r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#1r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: unnormalized_output_ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: normalize(value=(), location=All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: normalized output_ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: instantiated output_ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: anon_type_map={}
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: mir_output_ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: equated
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: push_region_constraints: constraints generated at All are [
Binder(
OutlivesPredicate(
'_#4r,
'_#1r
)
),
Binder(
OutlivesPredicate(
'_#1r,
'_#4r
)
),
Binder(
OutlivesPredicate(
&'_#4r mut std::option::Option<T>,
'_#2r
)
)
]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#4r: '_#1r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#4r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#4r: '_#2r @ All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements(num_universal_regions=4)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: statements_before_block=[
0
]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: num_points=2
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem=RegionElementIndex(4))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem=RegionElementIndex(5))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem='_#0r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem=RegionElementIndex(4))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem=RegionElementIndex(5))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem='_#1r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#2r, elem=RegionElementIndex(4))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#2r, elem=RegionElementIndex(5))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#2r, elem='_#2r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#3r, elem=RegionElementIndex(4))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#3r, elem=RegionElementIndex(5))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#3r, elem='_#3r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_generation: add_region_liveness_constraints_from_type_check(liveness_set=0 items)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=(), location=bb0[0])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values: constraints=[
('_#1r: '_#4r) due to All,
('_#1r: '_#6r) due to All,
('_#2r: '_#5r) due to All,
('_#4r: '_#1r) due to All,
('_#4r: '_#2r) due to All,
('_#5r: '_#2r) due to All,
('_#6r: '_#1r) due to All
]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: --------------------
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#4r: '_#2r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#2r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#4r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#1r: '_#4r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#4r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#4r: '_#1r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#4r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#1r: '_#4r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#1r: '_#6r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#6r: '_#1r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#6r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#1r: '_#6r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#2r: '_#5r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#5r: '_#2r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#2r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#5r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#2r: '_#5r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: check_type_test: TypeTest { generic_kind: T/#1, lower_bound: '_#2r, locations: All, test: IsOutlivedByAnyRegionIn(['_#2r, '_#1r, '_#3r]) }
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: eval_region_test(lower_bound='_#2r, test=IsOutlivedByAnyRegionIn(['_#2r, '_#1r, '_#3r]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: eval_outlives('_#2r: '_#2r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: eval_outlives: sup_region's value = "{\'_#2r, bb0[0..=1]}"
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: eval_outlives: sub_region's value = "{\'_#2r, bb0[0..=1]}"
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#0r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#1r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region: fr='_#1r does not outlive shorter_fr='_#2r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: current='_#1r visited={} next=[]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: index=ConstraintIndex(2) constraint=('_#6r: '_#1r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: index=ConstraintIndex(4) constraint=('_#4r: '_#1r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: extend next upcoming=['_#6r, '_#4r]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: current='_#4r visited={'_#1r} next=['_#6r]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: index=ConstraintIndex(5) constraint=('_#1r: '_#4r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: skipping as visited
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: new end region current='_#4r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: current='_#6r visited={'_#4r, '_#1r} next=[]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: index=ConstraintIndex(3) constraint=('_#1r: '_#6r) due to All
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: skipping as visited
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: new end region current='_#6r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: end_regions={'_#4r, '_#6r}
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: end_region='_#4r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: index=ConstraintIndex(4) region=Some('_#1r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: end_region='_#6r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: index=ConstraintIndex(2) region=Some('_#1r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: paths=[[ConstraintIndex(4)], [ConstraintIndex(2)]]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: report_error: shortest_path=[ConstraintIndex(4)]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: report_error: categorized_path=[]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: report_error: sorted_path=[]
error: free region `ReEarlyBound(0, 'a)` does not outlive free region `ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b))`
--> src/main.rs:16:44
|
16 | fn get<'b>(value: &'b mut Self::Value) {
| ____________________________________________^
17 | | }
| |_____^
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#2r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#3r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: MirBorrowckCtxt::process_statement(bb0[0], _0 = ()): borrows in effect: [] borrows generated: [] inits: [_1] uninits: [_0] move_out: [] ever_init: [mp1@src/main.rs:16:16: 16:21 (Deep)]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: check_if_assigned_path_is_moved place: _0
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: check_access_permissions(_0, Write(Mutate), ExceptUpvars)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: check_access_for_conflict(context=Context { kind: AssignLhs, loc: bb0[0] }, place_span=(_0, src/main.rs:16:44: 17:6), sd=Shallow(None), rw=Write(Mutate))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: check_if_reassignment_to_immutable_state(_0)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: MirBorrowckCtxt::process_terminator(bb0[1], Terminator { source_info: SourceInfo { span: src/main.rs:17:6: 17:6, scope: scope[0] }, kind: return }): borrows in effect: [] borrows generated: [] inits: [_0, _1] uninits: [] move_out: [] ever_init: [mp1@src/main.rs:16:16: 16:21 (Deep), mp0@src/main.rs:16:44: 17:6 (Deep)]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: mbcx.used_mut: {}
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: mir_borrowck done
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: run query mir_borrowck: main
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll: replace_regions_in_mir(def_id=DefId(0/0:10 ~ main[317d]::main[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build(mir_def_id=DefId(0/0:10 ~ main[317d]::main[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: param_env=ParamEnv { caller_bounds: [], reveal: UserFacing }
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: defining_ty=FnDef(DefId(0/0:10 ~ main[317d]::main[0]), [])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: indices=UniversalRegionIndices { indices: {ReStatic: '_#0r} }
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: replace_bound_regions_with_nll_infer_vars(value=Binder([()]), all_outlive_scope=DefId(0/0:10 ~ main[317d]::main[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=())
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#0r to itself and to 'static
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#1r to itself and to 'static
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: global regions = 0..1
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: extern regions = 1..1
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: local regions = 1..2
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_mir()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_mir: mir.arg_count=0
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=(), ty_context=ReturnTy(SourceInfo { span: src/main.rs:20:1: 21:2, scope: scope[0] }))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty(ty=(), ty_context=LocalDecl { local: _0, source_info: SourceInfo { span: src/main.rs:20:1: 21:2, scope: scope[0] } })
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::location: LocationTable(statements_before_block=[
0
])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::location: LocationTable: num_points=4
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _0
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: run_on_mir: src/main.rs:20:1: 21:2
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _0 = ()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates(aggregate_kind=Tuple, location=bb0[0])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), locations=Interesting(bb0[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: prove_predicate(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), location=Interesting(bb0[0]))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: check_terminator: Terminator { source_info: SourceInfo { span: src/main.rs:21:2: 21:2, scope: scope[0] }, kind: return }
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb0)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints regular-simulate-block (live_locals=[])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints regular-simulate-block (live_locals=[])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb0[1],
[]
),
(
bb0[0],
[]
)
]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[0]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb0[1]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: unnormalized_output_ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check: normalize(value=(), location=All)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: normalized output_ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: instantiated output_ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: anon_type_map={}
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: mir_output_ty=()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: equated
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements(num_universal_regions=2)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: statements_before_block=[
0
]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: num_points=2
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem=RegionElementIndex(2))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem=RegionElementIndex(3))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem='_#0r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem=RegionElementIndex(2))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem=RegionElementIndex(3))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem='_#1r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_generation: add_region_liveness_constraints_from_type_check(liveness_set=0 items)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=(), location=bb0[0])
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values()
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values: constraints=[]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: --------------------
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#0r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#1r)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: MirBorrowckCtxt::process_statement(bb0[0], _0 = ()): borrows in effect: [] borrows generated: [] inits: [] uninits: [_0] move_out: [] ever_init: []
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: check_if_assigned_path_is_moved place: _0
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: check_access_permissions(_0, Write(Mutate), ExceptUpvars)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: check_access_for_conflict(context=Context { kind: AssignLhs, loc: bb0[0] }, place_span=(_0, src/main.rs:20:11: 21:2), sd=Shallow(None), rw=Write(Mutate))
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: check_if_reassignment_to_immutable_state(_0)
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: MirBorrowckCtxt::process_terminator(bb0[1], Terminator { source_info: SourceInfo { span: src/main.rs:21:2: 21:2, scope: scope[0] }, kind: return }): borrows in effect: [] borrows generated: [] inits: [_0] uninits: [] move_out: [] ever_init: [mp0@src/main.rs:20:11: 21:2 (Deep)]
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: mbcx.used_mut: {}
DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check: mir_borrowck done
error: aborting due to previous error
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment