Skip to content

Instantly share code, notes, and snippets.

@lqd

lqd/borrowck, outlives bounds, ty wf Secret

Created July 18, 2018 14:57
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/a44290e6e898ad8740b41c3515de06b9 to your computer and use it in GitHub Desktop.
Save lqd/a44290e6e898ad8740b41c3515de06b9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
borrowck, outlives bounds, ty wf
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(std::marker::PhantomData<&ReEarlyBound(0, 'a) T>, body_id=NodeId(4)) = [Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:5:5: 5:47, body_id: NodeId(4), code: ReferenceOutlivesReferent(&ReEarlyBound(0, 'a) T) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(std::marker::PhantomData<&ReEarlyBound(0, 'a) T>, body_id=NodeId(4)) ~~> [Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:5:5: 5:47, body_id: NodeId(4), code: ReferenceOutlivesReferent(&ReEarlyBound(0, 'a) T) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(T, body_id=NodeId(4)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(T, body_id=NodeId(4)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Self, body_id=NodeId(15)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Self, body_id=NodeId(15)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(<Self as Join>::Value, body_id=NodeId(15)) = [Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Self as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Self,cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: ProjectionWf(ProjectionTy { substs: [Self], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(<Self as Join>::Value, body_id=NodeId(15)) ~~> [Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Self as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: MiscObligation },depth=0), Obligation(predicate=Self,cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:8:1: 11:2, body_id: NodeId(15), code: ProjectionWf(ProjectionTy { substs: [Self], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<ReEarlyBound(0, 'a), T>, body_id=NodeId(25)) = [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:13:13: 13:17, body_id: NodeId(25), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:13:13: 13:17, body_id: NodeId(25), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<ReEarlyBound(0, 'a), T>, body_id=NodeId(25)) ~~> [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:13:13: 13:17, body_id: NodeId(25), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:13:13: 13:17, body_id: NodeId(25), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(T, body_id=NodeId(25)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(T, body_id=NodeId(25)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<ReEarlyBound(0, 'a), T>, body_id=NodeId(25)) = [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:13:1: 18:2, body_id: NodeId(25), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:13:1: 18:2, body_id: NodeId(25), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<ReEarlyBound(0, 'a), T>, body_id=NodeId(25)) ~~> [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:13:1: 18:2, body_id: NodeId(25), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:13:1: 18:2, body_id: NodeId(25), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(48)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(48)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(48)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(48)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)) mut <Self as Join>::Value, body_id=NodeId(19)) = [Obligation(predicate=Binder(OutlivesPredicate(<Self as Join>::Value, ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)))),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)) mut <Self as Join>::Value) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Self as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Self,cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ProjectionWf(ProjectionTy { substs: [Self], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)) mut <Self as Join>::Value, body_id=NodeId(19)) ~~> [Obligation(predicate=Binder(OutlivesPredicate(<Self as Join>::Value, ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)))),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)) mut <Self as Join>::Value) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Self as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Self,cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ProjectionWf(ProjectionTy { substs: [Self], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(19)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(19)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Self, body_id=NodeId(19)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Self, body_id=NodeId(19)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(<Self as Join>::Value, body_id=NodeId(19)) = [Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Self as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Self,cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ProjectionWf(ProjectionTy { substs: [Self], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(<Self as Join>::Value, body_id=NodeId(19)) ~~> [Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Self as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Self,cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ProjectionWf(ProjectionTy { substs: [Self], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)) mut <Self as Join>::Value, body_id=NodeId(19)) = [Obligation(predicate=Binder(OutlivesPredicate(<Self as Join>::Value, ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)))),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)) mut <Self as Join>::Value) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Self as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Self,cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ProjectionWf(ProjectionTy { substs: [Self], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)) mut <Self as Join>::Value, body_id=NodeId(19)) ~~> [Obligation(predicate=Binder(OutlivesPredicate(<Self as Join>::Value, ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)))),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:6 ~ main[317d]::Join[0]::get[0]), BrAnon(0)) mut <Self as Join>::Value) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Self as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Self,cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Self as Join>)),cause=ObligationCause { span: src/main.rs:10:5: 10:37, body_id: NodeId(19), code: ProjectionWf(ProjectionTy { substs: [Self], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Self, body_id=NodeId(19)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Self, body_id=NodeId(19)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(19)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(19)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReEarlyBound(0, 'a) mut std::option::Option<T>, body_id=NodeId(33)) = [Obligation(predicate=Binder(OutlivesPredicate(std::option::Option<T>, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:14:5: 14:36, body_id: NodeId(33), code: ReferenceOutlivesReferent(&ReEarlyBound(0, 'a) mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:14:5: 14:36, body_id: NodeId(33), code: ItemObligation(DefId(2/0:20667 ~ core[38bb]::option[0]::Option[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReEarlyBound(0, 'a) mut std::option::Option<T>, body_id=NodeId(33)) ~~> [Obligation(predicate=Binder(OutlivesPredicate(std::option::Option<T>, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:14:5: 14:36, body_id: NodeId(33), code: ReferenceOutlivesReferent(&ReEarlyBound(0, 'a) mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:14:5: 14:36, body_id: NodeId(33), code: ItemObligation(DefId(2/0:20667 ~ core[38bb]::option[0]::Option[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<ReEarlyBound(0, 'a), T>, body_id=NodeId(33)) = [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:14:5: 14:36, body_id: NodeId(33), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:14:5: 14:36, body_id: NodeId(33), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<ReEarlyBound(0, 'a), T>, body_id=NodeId(33)) ~~> [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:14:5: 14:36, body_id: NodeId(33), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:14:5: 14:36, body_id: NodeId(33), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>, body_id=NodeId(39)) = [Obligation(predicate=Binder(OutlivesPredicate(&'_#0r mut std::option::Option<T>, ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)))),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(std::option::Option<T>, '_#0r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(2/0:20667 ~ core[38bb]::option[0]::Option[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>, body_id=NodeId(39)) ~~> [Obligation(predicate=Binder(OutlivesPredicate(&'_#0r mut std::option::Option<T>, ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)))),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(std::option::Option<T>, '_#0r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(2/0:20667 ~ core[38bb]::option[0]::Option[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(39)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(39)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(T, body_id=NodeId(39)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(T, body_id=NodeId(39)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<ReEarlyBound(0, 'a), T>, body_id=NodeId(39)) = [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<ReEarlyBound(0, 'a), T>, body_id=NodeId(39)) ~~> [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, ReEarlyBound(0, 'a))),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>, body_id=NodeId(39)) = [Obligation(predicate=Binder(OutlivesPredicate(&'_#0r mut std::option::Option<T>, ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)))),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(std::option::Option<T>, '_#0r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(2/0:20667 ~ core[38bb]::option[0]::Option[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>, body_id=NodeId(39)) ~~> [Obligation(predicate=Binder(OutlivesPredicate(&'_#0r mut std::option::Option<T>, ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)))),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(std::option::Option<T>, '_#0r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(2/0:20667 ~ core[38bb]::option[0]::Option[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(39)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(39)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>, body_id=NodeId(53)) = [Obligation(predicate=Binder(OutlivesPredicate(&'_#0r mut std::option::Option<T>, ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)))),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(53), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(std::option::Option<T>, '_#0r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(53), code: ReferenceOutlivesReferent(&'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(53), code: ItemObligation(DefId(2/0:20667 ~ core[38bb]::option[0]::Option[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>, body_id=NodeId(53)) ~~> [Obligation(predicate=Binder(OutlivesPredicate(&'_#0r mut std::option::Option<T>, ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)))),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(53), code: ReferenceOutlivesReferent(&ReFree(DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0]), BrNamed(crate0:DefIndex(1:14), 'b)) mut &'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(std::option::Option<T>, '_#0r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(53), code: ReferenceOutlivesReferent(&'_#0r mut std::option::Option<T>) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(53), code: ItemObligation(DefId(2/0:20667 ~ core[38bb]::option[0]::Option[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(53)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(53)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(55)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(55)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: run_pass: DefId(0/0:9 ~ main[317d]::{{impl}}[0]::get[0])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: run_pass: DefId(0/0:10 ~ main[317d]::main[0])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check: run query mir_borrowck: <Drain<ReEarlyBound(0, 'a), T> as Join>::get
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: 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:56:35Z: 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:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: indices=UniversalRegionIndices { indices: {ReEarlyBound(0, 'a): '_#1r, ReStatic: '_#0r} }
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: 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:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=&'_#2r mut <Drain<'_#1r, T> as Join>::Value
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=&'_#2r mut <Drain<'_#1r, T> as Join>::Value)
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&'_#2r mut <Drain<'_#1r, T> as Join>::Value, body_id=NodeId(39)) = [Obligation(predicate=Binder(OutlivesPredicate(<Drain<'_#1r, T> as Join>::Value, '_#2r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&'_#2r mut <Drain<'_#1r, T> as Join>::Value) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Drain<'_#1r, T> as Join>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<<Drain<'_#1r, T> as Join>::Value as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Drain<'_#1r, T>,cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Drain<'_#1r, T> as Join>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ProjectionWf(ProjectionTy { substs: [Drain<'_#1r, T>], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(&'_#2r mut <Drain<'_#1r, T> as Join>::Value, body_id=NodeId(39)) ~~> [Obligation(predicate=Binder(OutlivesPredicate(&'_#4r mut std::option::Option<_#0t>, '_#2r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ReferenceOutlivesReferent(&'_#2r mut <Drain<'_#1r, T> as Join>::Value) },depth=0), Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ImplDerivedObligation(DerivedObligationCause { parent_trait_ref: Binder(<Drain<'_#1r, T> as Join>), parent_code: MiscObligation }) },depth=1), Obligation(predicate=Binder(TraitPredicate(<Drain<'_#1r, T> as Join>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<&'_#4r mut std::option::Option<_#0t> as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:4 ~ main[317d]::Join[0])) },depth=0), Obligation(predicate=Binder(TraitPredicate(<Drain<'_#1r, T> as Join>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: MiscObligation },depth=0), Obligation(predicate=Drain<'_#1r, T>,cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: MiscObligation },depth=0), Obligation(predicate=Binder(TraitPredicate(<Drain<'_#1r, T> as Join>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ProjectionWf(ProjectionTy { substs: [Drain<'_#1r, T>], item_def_id: DefId(0/0:5 ~ main[317d]::Join[0]::Value[0]) }) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<'_#1r, T>, body_id=NodeId(39)) = [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, '_#1r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations(Drain<'_#1r, T>, body_id=NodeId(39)) ~~> [Obligation(predicate=Binder(TraitPredicate(<T as std::marker::Sized>)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0), Obligation(predicate=Binder(OutlivesPredicate(T, '_#1r)),cause=ObligationCause { span: src/main.rs:16:5: 17:6, body_id: NodeId(39), code: ItemObligation(DefId(0/0:3 ~ main[317d]::Drain[0])) },depth=0)]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubRegion('_#2r, '_#4r))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#4r outlives fr_b='_#2r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubParam('_#2r, T/#1))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubParam('_#1r, T/#1))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=())
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(39)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(39)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#0r to itself and to 'static
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#3r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#1r to itself and to 'static
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#3r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#2r to itself and to 'static
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#2r outlives fr_b='_#2r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#2r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#2r outlives fr_b='_#3r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#3r to itself and to 'static
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#3r outlives fr_b='_#3r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#3r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#3r outlives fr_b='_#3r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: global regions = 0..1
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: extern regions = 1..2
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: local regions = 2..4
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::renumber: renumber_mir()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::renumber: renumber_mir: mir.arg_count=1
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=&'_#5r mut &'_#6r mut std::option::Option<T>
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::location: LocationTable(statements_before_block=[
0
])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::location: LocationTable: num_points=4
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _0
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: run_on_mir: src/main.rs:16:5: 17:6
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _0 = ()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates(aggregate_kind=Tuple, location=bb0[0])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), locations=Interesting(bb0[0]))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: prove_predicate(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), location=Interesting(bb0[0]))
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb0)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints regular-simulate-block (live_locals=[])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints regular-simulate-block (live_locals=[])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb0[1],
[]
),
(
bb0[0],
[]
)
]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[0]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb0[1]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: normalize(value=&'_#2r mut <Drain<'_#1r, T> as Join>::Value, location=All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: push_region_constraints: constraints generated at All are [
Binder(
OutlivesPredicate(
'_#1r,
'_#1r
)
)
]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#1r @ All)
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#5r: '_#2r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#2r: '_#5r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#6r: '_#1r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#6r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#2r: '_#2r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#1r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#2r: '_#2r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#1r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: unnormalized_output_ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: normalize(value=(), location=All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: normalized output_ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: instantiated output_ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: anon_type_map={}
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: mir_output_ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: equated
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#4r: '_#1r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#1r: '_#4r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::constraint_conversion: generate: constraints at: All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_set: add_outlives('_#4r: '_#2r @ All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements(num_universal_regions=4)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: statements_before_block=[
0
]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: num_points=2
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem=RegionElementIndex(4))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem=RegionElementIndex(5))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem='_#0r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem=RegionElementIndex(4))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem=RegionElementIndex(5))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem='_#1r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#2r, elem=RegionElementIndex(4))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#2r, elem=RegionElementIndex(5))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#2r, elem='_#2r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#3r, elem=RegionElementIndex(4))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#3r, elem=RegionElementIndex(5))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#3r, elem='_#3r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_generation: add_region_liveness_constraints_from_type_check(liveness_set=0 items)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=(), location=bb0[0])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values()
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: --------------------
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#4r: '_#2r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#2r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#4r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#1r: '_#4r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#4r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#4r: '_#1r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#4r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#1r: '_#4r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#1r: '_#6r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#6r: '_#1r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#6r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#1r: '_#6r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#2r: '_#5r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#5r: '_#2r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sub='_#2r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: sup='_#5r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: constraint=('_#2r: '_#5r) due to All
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer:
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::region_infer: eval_region_test(lower_bound='_#2r, test=IsOutlivedByAnyRegionIn(['_#2r, '_#1r, '_#3r]))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: eval_outlives('_#2r: '_#2r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: eval_outlives: sup_region's value = "{\'_#2r, bb0[0..=1]}"
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(2))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(4))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: to_element(i=RegionElementIndex(5))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: eval_outlives: sub_region's value = "{\'_#2r, bb0[0..=1]}"
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#0r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#1r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region: fr='_#1r does not outlive shorter_fr='_#2r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: current='_#1r visited={} next=[]
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: extend next upcoming=['_#6r, '_#4r]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: current='_#4r visited={'_#1r} next=['_#6r]
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: skipping as visited
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: new end region current='_#4r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: current='_#6r visited={'_#4r, '_#1r} next=[]
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: skipping as visited
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: new end region current='_#6r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: end_regions={'_#4r, '_#6r}
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: end_region='_#4r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: index=ConstraintIndex(4) region=Some('_#1r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: end_region='_#6r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: index=ConstraintIndex(2) region=Some('_#1r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: find_constraint_paths_from_region: paths=[[ConstraintIndex(4)], [ConstraintIndex(2)]]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: report_error: shortest_path=[ConstraintIndex(4)]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::error_reporting: report_error: categorized_path=[]
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#2r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#3r)
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check: check_if_assigned_path_is_moved place: _0
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check: check_access_permissions(_0, Write(Mutate), ExceptUpvars)
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check: check_if_reassignment_to_immutable_state(_0)
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check: mbcx.used_mut: {}
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check: mir_borrowck done
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check: run query mir_borrowck: main
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll: replace_regions_in_mir(def_id=DefId(0/0:10 ~ main[317d]::main[0]))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build(mir_def_id=DefId(0/0:10 ~ main[317d]::main[0]))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: param_env=ParamEnv { caller_bounds: [], reveal: UserFacing }
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: defining_ty=FnDef(DefId(0/0:10 ~ main[317d]::main[0]), [])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: indices=UniversalRegionIndices { indices: {ReStatic: '_#0r} }
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc::infer::outlives::bounds: explicit_outlives_bounds()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=())
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(48)) = []
DEBUG 2018-07-18T14:56:35Z: rustc::ty::wf: wf::obligations((), body_id=NodeId(48)) ~~> []
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#0r to itself and to 'static
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#0r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: relating free region '_#1r to itself and to 'static
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#0r outlives fr_b='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a='_#1r outlives fr_b='_#1r
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: global regions = 0..1
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: extern regions = 1..1
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::universal_regions: build: local regions = 1..2
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::renumber: renumber_mir()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::renumber: renumber_mir: mir.arg_count=0
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::renumber: renumber_regions(value=())
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::renumber: visit_ty: ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::location: LocationTable(statements_before_block=[
0
])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::location: LocationTable: num_points=4
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: sanitize_place: _0
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: run_on_mir: src/main.rs:20:1: 21:2
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: check_stmt: _0 = ()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: prove_aggregate_predicates(aggregate_kind=Tuple, location=bb0[0])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: prove_predicates(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), locations=Interesting(bb0[0]))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: prove_predicate(predicate=Binder(TraitPredicate(<() as std::marker::Sized>)), location=Interesting(bb0[0]))
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints(bb=bb0)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints regular-simulate-block (live_locals=[])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints regular-simulate-block (live_locals=[])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: all_live_locals=[
(
bb0[1],
[]
),
(
bb0[0],
[]
)
]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_statement_effect from bb0[0]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::liveness: add_liveness_constraints: reconstruct_terminator_effect from bb0[1]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: unnormalized_output_ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check: normalize(value=(), location=All)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: normalized output_ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: instantiated output_ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: anon_type_map={}
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: mir_output_ty=()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::type_check::input_output: equate_inputs_and_outputs: equated
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements(num_universal_regions=2)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: statements_before_block=[
0
]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: RegionValueElements: num_points=2
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem=RegionElementIndex(2))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem=RegionElementIndex(3))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#0r, elem='_#0r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem=RegionElementIndex(2))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem=RegionElementIndex(3))
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer::values: add(r='_#1r, elem='_#1r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_generation: add_region_liveness_constraints_from_type_check(liveness_set=0 items)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::constraint_generation: visit_rvalue(rvalue=(), location=bb0[0])
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values()
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: compute_region_values: constraints=[]
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: propagate_constraints: --------------------
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#0r)
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check::nll::region_infer: check_universal_region(fr='_#1r)
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check: check_if_assigned_path_is_moved place: _0
DEBUG 2018-07-18T14:56:35Z: rustc_mir::borrow_check: check_access_permissions(_0, Write(Mutate), ExceptUpvars)
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check: check_if_reassignment_to_immutable_state(_0)
DEBUG 2018-07-18T14:56:35Z: 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:56:35Z: rustc_mir::borrow_check: mbcx.used_mut: {}
DEBUG 2018-07-18T14:56:35Z: 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