gistfile1.txt

λ 169-231-106-204 rust → λ git generalize-impl-bounds* → RUST_BACKTRACE=1 RUST_LOG=rustc_typeck::check::compare_method=debug x86_64-apple-darwin/stage1/bin/rustc src/test/compile-fail/regions-bound-missing-bound-in-impl.rs
DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef('aint, Foo<'a>))
DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef('aint, Foo<'a>)
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[&'a int];[]], regions=[[ReFree(109, BrNamed(DefId { krate: 0, node: 179 }, 'a))];[];[ReFree(109, BrNamed(DefId { krate: 0, node: 97 }, 'b))]]]
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[Binder(OutlivesPredicate(ReFree(109, BrNamed(DefId { krate: 0, node: 97 }, 'b)), ReFree(109, BrNamed(DefId { krate: 0, node: 179 }, 'a))))]])
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]])
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_fty=fn(&'a int, Inv<'b>)
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_fty=fn(&'a int, Inv<'b>)
DEBUG:rustc_typeck::check::compare_method: checking trait method for compatibility: impl ty fn(&'a int, Inv<'b>), trait ty fn(&'a int, Inv<'b>)
src/test/compile-fail/regions-bound-missing-bound-in-impl.rs:28:5: 30:6 error: method `no_bound` has an incompatible type for trait: expected bound lifetime parameter 'b, found concrete lifetime [E0053]
src/test/compile-fail/regions-bound-missing-bound-in-impl.rs:28     fn no_bound<'b:'a>(self, b: Inv<'b>) {
src/test/compile-fail/regions-bound-missing-bound-in-impl.rs:29         //~^ ERROR lifetime parameters or bounds on method `no_bound` do not match
src/test/compile-fail/regions-bound-missing-bound-in-impl.rs:30     }
DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef('aint, Foo<'a>))
DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef('aint, Foo<'a>)
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[&'a int];[]], regions=[[ReFree(122, BrNamed(DefId { krate: 0, node: 179 }, 'a))];[];[]]]
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[]])
src/test/compile-fail/regions-bound-missing-bound-in-impl.rs:1:1: 1:1 error: internal compiler error: Type parameter out of range when substituting in region 'b (root type=None) (space=FnSpace, index=0)
src/test/compile-fail/regions-bound-missing-bound-in-impl.rs:1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
                                                               ^
note: the compiler unexpectedly panicked. this is a bug.
note: we would appreciate a bug report: http://doc.rust-lang.org/complement-bugreport.html
note: run with `RUST_BACKTRACE=1` for a backtrace
thread 'rustc' panicked at 'Box<Any>', /Users/jroesch/Git/rust/src/libsyntax/diagnostic.rs:123

stack backtrace:
   1:        0x10c75f10a - sys::backtrace::write::hd1047b9f956d8d16Xut
   2:        0x10c77a523 - failure::on_fail::hace49f074e8830d2HDz
   3:        0x10c7029fc - rt::unwind::begin_unwind_inner::hd74d93f82d9b364dblz
   4:        0x10a767e0f - rt::unwind::begin_unwind::h3586624800877851102
   5:        0x10a767dbc - diagnostic::SpanHandler::span_bug::h341631decdad5218rQF
   6:        0x109d1c11d - session::Session::span_bug::hfe726de14eafadf389p
   7:        0x109fecd84 - middle::subst::SubstFolder<'a, 'tcx>.TypeFolder<'tcx>::fold_region::h1c9ad79884e205dfOvO
   8:        0x10a025407 - middle::ty::Generics<'tcx>::to_bounds::hdd75028f03871fcaHw3
   9:        0x1099dee37 - check::compare_method::compare_impl_method::h89e2bc5af1281513Yoj
  10:        0x1099e991e - check::check_item::h0402479bb5962821Xqk
  11:        0x109b22af3 - check_crate::unboxed_closure.39803
  12:        0x109b1ef67 - check_crate::h73fb82e5ca0bfc94wIx
  13:        0x10945a510 - driver::phase_3_run_analysis_passes::h6058b7949f01c4efUva
  14:        0x109444adb - driver::compile_input::h5e19c16c3c163a32wba
  15:        0x109556719 - thunk::F.Invoke<A, R>::invoke::h3872508773547697479
  16:        0x1095548df - rt::unwind::try::try_fn::h15745889595306770186
  17:        0x10c7e44c9 - rust_try_inner
  18:        0x10c7e44b6 - rust_try
  19:        0x109554ee9 - thunk::F.Invoke<A, R>::invoke::h6133521066472851199
  20:        0x10c76c140 - sys::thread::thread_start::h70c36a0a92c84501Gkw
  21:     0x7fff91ea3268 - _pthread_body
  22:     0x7fff91ea31e5 - _pthread_body