Skip to content

Instantly share code, notes, and snippets.

@lqd

lqd/lexical_region_resolve.log.Txt Secret

Last active February 15, 2019 14:48
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/c75f840c6606f5e45fc10b0d5b07c478 to your computer and use it in GitHub Desktop.
Save lqd/c75f840c6606f5e45fc10b0d5b07c478 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
lexical_region_resolve.log.Txt
Compiling universe-bug v0.1.0 (/mnt/d/work/rust/universe-bug)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: RegionConstraintData: resolve_regions()
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() Start constraint listing (context=DefId(0/0:3 ~ universe_bug[2e06]::f[0])) ()----
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() End constraint listing (context=DefId(0/0:3 ~ universe_bug[2e06]::f[0])) ()---
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion1
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- Expansion Complete after 1 iteration(s)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_var_errors
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: RegionConstraintData: resolve_regions()
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() Start constraint listing (context=DefId(0/0:3 ~ universe_bug[2e06]::f[0])) ()----
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() End constraint listing (context=DefId(0/0:3 ~ universe_bug[2e06]::f[0])) ()---
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion1
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- Expansion Complete after 1 iteration(s)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_var_errors
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: RegionConstraintData: resolve_regions()
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() Start constraint listing (context=DefId(0/0:3 ~ universe_bug[2e06]::f[0])) ()----
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() End constraint listing (context=DefId(0/0:3 ~ universe_bug[2e06]::f[0])) ()---
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion1
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- Expansion Complete after 1 iteration(s)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_var_errors
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: RegionConstraintData: resolve_regions()
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() Start constraint listing (context=DefId(0/0:4 ~ universe_bug[2e06]::main[0])) ()----
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() End constraint listing (context=DefId(0/0:4 ~ universe_bug[2e06]::main[0])) ()---
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion1
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- Expansion Complete after 1 iteration(s)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_var_errors
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: RegionConstraintData: resolve_regions()
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() Start constraint listing (context=DefId(0/0:4 ~ universe_bug[2e06]::main[0])) ()----
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() End constraint listing (context=DefId(0/0:4 ~ universe_bug[2e06]::main[0])) ()---
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion1
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- Expansion Complete after 1 iteration(s)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_var_errors
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: RegionConstraintData: resolve_regions()
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() Start constraint listing (context=DefId(0/0:4 ~ universe_bug[2e06]::main[0])) ()----
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() End constraint listing (context=DefId(0/0:4 ~ universe_bug[2e06]::main[0])) ()---
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion1
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- Expansion Complete after 1 iteration(s)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_var_errors
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: RegionConstraintData: resolve_regions()
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() Start constraint listing (context=DefId(0/0:3 ~ universe_bug[2e06]::f[0])) ()----
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() End constraint listing (context=DefId(0/0:3 ~ universe_bug[2e06]::f[0])) ()---
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion1
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- Expansion Complete after 1 iteration(s)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_var_errors
error[E0061]: this function takes 1 parameter but 0 parameters were supplied
--> src/main.rs:11:9
|
2 | / fn f<I>(i: I)
3 | | where
4 | | I: IntoIterator,
5 | | I::Item: for<'a> Into<&'a ()>,
6 | | {}
| |__- defined here
...
11 | f(&[f()]);
| ^^^ expected 1 parameter
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: RegionConstraintData: resolve_regions()
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() Start constraint listing (context=DefId(0/0:4 ~ universe_bug[2e06]::main[0])) ()----
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 0 => VarSubVar('_#1r, '_#0r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 1 => VarSubVar('_#1r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 2 => VarSubVar('_#1r, '_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 3 => VarSubVar('_#2r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 4 => VarSubVar('_#2r, '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 5 => VarSubVar('_#3r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 6 => VarSubVar('_#4r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 7 => RegSubVar(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Constraint 8 => VarSubReg('_#4r, RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ----() End constraint listing (context=DefId(0/0:4 ~ universe_bug[2e06]::main[0])) ()---
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion1
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#0r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#0r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#2r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#3r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#2r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#1r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#2r, '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#4r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#3r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#1r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#4r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#2r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=RegSubVar(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), '_#4r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node - b_vid='_#4r, b_universe=U6, lub=RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node - lub is a placeholder, p.universe=U6, p=Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) } -- b_universe.cannot_name(p.universe)=false
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Expanding value of '_#4r from ReEmpty to RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Updated due to constraint RegSubVar(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubReg('_#4r, RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion2
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#0r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#0r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#2r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#3r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#2r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#1r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#2r, '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#4r == Value(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) })))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#3r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#1r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#4r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), '_#2r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node - b_vid='_#2r, b_universe=U4, lub=RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node - lub is a placeholder, p.universe=U6, p=Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) } -- b_universe.cannot_name(p.universe)=true
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Expanding value of '_#2r from ReEmpty to ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Updated due to constraint VarSubVar('_#4r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion3
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#0r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#0r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#2r == Value(ReStatic))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#3r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#2r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#1r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node - b_vid='_#1r, b_universe=U2, lub=ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Expanding value of '_#1r from ReEmpty to ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Updated due to constraint VarSubVar('_#2r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#2r, '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#4r == Value(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) })))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node - b_vid='_#4r, b_universe=U6, lub=ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Expanding value of '_#4r from RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }) to ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Updated due to constraint VarSubVar('_#2r, '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#3r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReEmpty, '_#1r == Value(ReStatic))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#4r, '_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#2r == Value(ReStatic))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion4
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#0r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#0r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node - b_vid='_#0r, b_universe=U2, lub=ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Expanding value of '_#0r from ReEmpty to ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Updated due to constraint VarSubVar('_#1r, '_#0r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#3r == Value(ReEmpty))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node - b_vid='_#3r, b_universe=U5, lub=ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Expanding value of '_#3r from ReEmpty to ReStatic
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: Updated due to constraint VarSubVar('_#1r, '_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#2r, '_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#1r == Value(ReStatic))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#2r, '_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#4r == Value(ReStatic))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- # Iteration Expansion5
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#0r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#0r == Value(ReStatic))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expansion: constraint=VarSubVar('_#1r, '_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: expand_node(ReStatic, '_#3r == Value(ReStatic))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: ---- Expansion Complete after 5 iteration(s)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=VarSubVar('_#1r, '_#0r) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:7: 11:13, body_id: NodeId(45), code: ExprAssignable }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=VarSubVar('_#1r, '_#2r) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: MiscObligation }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=VarSubVar('_#1r, '_#3r) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=VarSubVar('_#2r, '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: MiscObligation }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=VarSubVar('_#2r, '_#4r) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ImplDerivedObligation(DerivedObligationCause { parent_trait_ref: Binder(<&() as std::convert::Into<&'a ()>>), parent_code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }) }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=VarSubVar('_#3r, '_#1r) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=VarSubVar('_#4r, '_#2r) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ImplDerivedObligation(DerivedObligationCause { parent_trait_ref: Binder(<&() as std::convert::Into<&'a ()>>), parent_code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }) }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=RegSubVar(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), '_#4r) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: constraint=VarSubReg('_#4r, RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) })) origin=Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: contraction: '_#4r == Value(ReStatic), RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: contraction2: a_region=ReStatic, b_region=RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), is_subregion_of(a_region, b_region)=false
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_errors: region error at Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) })): cannot verify that '_#4r=ReStatic <= RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_var_errors
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#4r, dir=Direction { repr: 1 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#2r, dir=Direction { repr: 1 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#1r, dir=Direction { repr: 1 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#3r, dir=Direction { repr: 1 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#4r, dir=Direction { repr: 1 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#4r, dir=Direction { repr: 0 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#2r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#2r, dir=Direction { repr: 0 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#1r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#1r, dir=Direction { repr: 0 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#0r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#0r, dir=Direction { repr: 0 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#3r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#3r, dir=Direction { repr: 0 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_concrete_regions(orig_node_idx='_#4r, node_idx='_#4r)
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: process_edges(source_vid='_#4r, dir=Direction { repr: 0 })
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_error_for_expanding_node - node_idx='_#4r, universe=U6
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: node_universe=U6, p.universe=U6 - node_universe.cannot_name(p.universe):false
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_error_for_expanding_node - checking subregion rels: lower_bound=RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))), effective_lower_bound=RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), upper_bound=RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))) -- is_subregion_of=true
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_error_for_expanding_node - checking subregion rels: lower_bound=RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))), effective_lower_bound=RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), upper_bound=RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))) -- is_subregion_of=true
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: node_universe=U6, p.universe=U6 - node_universe.cannot_name(p.universe):false
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_error_for_expanding_node - checking subregion rels: lower_bound=RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))), effective_lower_bound=RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), upper_bound=RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))) -- is_subregion_of=true
DEBUG 2019-02-15T14:48:02Z: rustc::infer::lexical_region_resolve: collect_error_for_expanding_node - checking subregion rels: lower_bound=RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))), effective_lower_bound=RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }), upper_bound=RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))) -- is_subregion_of=true
error: internal compiler error: src/librustc/infer/lexical_region_resolve/mod.rs:679: collect_error_for_expanding_node() could not find error for var '_#4r in universe U6, lower_bounds=[
RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))),
RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) })))
], upper_bounds=[
RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) }))),
RegionAndOrigin(RePlaceholder(Placeholder { universe: U6, name: BrNamed(crate0:DefIndex(1:10), 'a) }),Subtype(TypeTrace(ObligationCause { span: src/main.rs:11:5: 11:6, body_id: NodeId(45), code: ItemObligation(DefId(0/0:3 ~ universe_bug[2e06]::f[0])) })))
]
--> src/main.rs:11:5
|
11 | f(&[f()]);
| ^
thread 'rustc' panicked at 'Box<Any>', src/librustc_errors/lib.rs:543:9
note: Run with `RUST_BACKTRACE=1` environment variable to display a backtrace.
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0061`.
note: the compiler unexpectedly panicked. this is a bug.
note: we would appreciate a bug report: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#bug-reports
note: rustc 1.33.0-dev running on x86_64-unknown-linux-gnu
note: compiler flags: -C debuginfo=2 -C incremental --crate-type bin
note: some of the compiler flags provided by cargo are hidden
error: Could not compile `universe-bug`.
To learn more, run the command again with --verbose.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment