ICE: Region parameter out of range when substituting in region #47309

ipetkov · 2018-01-10T04:17:45Z

ICE: librustc/ty/subst.rs:424: Region parameter out of range when substituting in region 'a (root type=None) (index=2)

Started getting an ICE on nightly linux builds in travis for my crate while building various integration tests (I've seen builds fail on different integration tests each time). The ICE has reliably occurred on travis during each restart, however, I've been unable to reproduce it locally via travis docker image (so I can't even begin to attempt to minify my source to something that triggers the error). As far as I can tell, this started with rustc 1.24.0-nightly (8e7a609 2018-01-04).

Sample build log can be found here.

Happy to provide more logs build info as needed!

Meta

rustc 1.25.0-nightly (61452e5 2018-01-09)

Backtrace:

thread 'rustc' panicked at 'Box<Any>', librustc_errors/lib.rs:455:9
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
stack backtrace:
   0: std::sys::unix::backtrace::tracing::imp::unwind_backtrace
             at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49
   1: std::sys_common::backtrace::print
             at libstd/sys_common/backtrace.rs:68
             at libstd/sys_common/backtrace.rs:57
   2: std::panicking::default_hook::{{closure}}
             at libstd/panicking.rs:381
   3: std::panicking::default_hook
             at libstd/panicking.rs:391
   4: std::panicking::rust_panic_with_hook
             at libstd/panicking.rs:577
   5: std::panicking::begin_panic
   6: rustc_errors::Handler::span_bug
   7: <std::thread::local::LocalKey<T>>::with
   8: rustc::ty::context::tls::with_opt
   9: rustc::session::opt_span_bug_fmt
  10: rustc::session::span_bug_fmt
  11: <rustc::ty::subst::SubstFolder<'a, 'gcx, 'tcx> as rustc::ty::fold::TypeFolder<'gcx, 'tcx>>::fold_region
  12: rustc::ty::fold::TypeFoldable::fold_with
  13: rustc::ty::fold::TypeFoldable::fold_with
  14: rustc::traits::substitute_normalize_and_test_predicates
  15: rustc::ty::maps::<impl rustc::ty::maps::queries::substitute_normalize_and_test_predicates<'tcx>>::compute_result
  16: rustc::dep_graph::graph::DepGraph::with_task_impl
  17: rustc_errors::Handler::track_diagnostics
  18: rustc::ty::maps::plumbing::<impl rustc::ty::context::TyCtxt<'a, 'gcx, 'tcx>>::cycle_check
  19: rustc::ty::maps::<impl rustc::ty::maps::queries::substitute_normalize_and_test_predicates<'tcx>>::force
  20: rustc::ty::maps::<impl rustc::ty::maps::queries::substitute_normalize_and_test_predicates<'tcx>>::try_get
  21: rustc::ty::maps::TyCtxtAt::substitute_normalize_and_test_predicates
  22: rustc::ty::maps::<impl rustc::ty::context::TyCtxt<'a, 'tcx, 'lcx>>::substitute_normalize_and_test_predicates
  23: <rustc_mir::monomorphize::collector::RootCollector<'b, 'a, 'v> as rustc::hir::itemlikevisit::ItemLikeVisitor<'v>>::visit_item
  24: rustc::hir::Crate::visit_all_item_likes
  25: rustc_mir::monomorphize::collector::collect_crate_mono_items
  26: rustc::util::common::time
  27: rustc_trans::base::collect_and_partition_translation_items
  28: rustc::dep_graph::graph::DepGraph::with_task_impl
  29: rustc_errors::Handler::track_diagnostics
  30: rustc::ty::maps::plumbing::<impl rustc::ty::context::TyCtxt<'a, 'gcx, 'tcx>>::cycle_check
  31: rustc::ty::maps::<impl rustc::ty::maps::queries::collect_and_partition_translation_items<'tcx>>::force
  32: rustc::ty::maps::<impl rustc::ty::maps::queries::collect_and_partition_translation_items<'tcx>>::try_get
  33: rustc::ty::maps::TyCtxtAt::collect_and_partition_translation_items
  34: rustc::ty::maps::<impl rustc::ty::context::TyCtxt<'a, 'tcx, 'lcx>>::collect_and_partition_translation_items
  35: rustc_trans::base::trans_crate
  36: <rustc_trans::LlvmTransCrate as rustc_trans_utils::trans_crate::TransCrate>::trans_crate
  37: rustc::util::common::time
  38: rustc_driver::driver::phase_4_translate_to_llvm
  39: rustc_driver::driver::compile_input::{{closure}}
  40: <std::thread::local::LocalKey<T>>::with
  41: <std::thread::local::LocalKey<T>>::with
  42: rustc::ty::context::TyCtxt::create_and_enter
  43: rustc_driver::driver::compile_input
  44: rustc_driver::run_compiler

The text was updated successfully, but these errors were encountered:

ipetkov · 2018-01-14T23:43:47Z

Managed to extract rustc debug logs when the ICE is triggered. Specifically, the ICE occurs when an integration-style test is being built against the main crate, and not while the crate/lib itself is being built and tested.

Debug logs can be found here.
Full travis log context can be found here

Mrmaxmeier · 2018-01-20T12:02:12Z

I've encountered this issue while trying to use cargo-kcov. It looks like it's easily triggered by building openssl v0.10.2 with RUSTFLAGS='-C link-dead-code'.

Build log

⋊> /t/r/openssl on master  env RUSTFLAGS='-C link-dead-code' cargo build
   Compiling openssl v0.10.2 (file:///tmp/rust-openssl/openssl)
error: internal compiler error: librustc/ty/subst.rs:424: Region parameter out of range when substituting in region 'a (root type=Some(unsafe fn(*mut <Self as foreign_types::ForeignTypeRef>::CType) -> &'a mut Self {<Self as foreign_types::ForeignTypeRef>::from_ptr_mut::<'a>})) (index=1)

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.25.0-nightly (5965b7901 2018-01-19) running on x86_64-unknown-linux-gnu

note: run with `RUST_BACKTRACE=1` for a backtrace

thread 'rustc' panicked at 'Box<Any>', librustc_errors/lib.rs:456:9
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
stack backtrace:
   0: std::sys::unix::backtrace::tracing::imp::unwind_backtrace
             at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49
   1: std::sys_common::backtrace::print
             at libstd/sys_common/backtrace.rs:68
             at libstd/sys_common/backtrace.rs:57
   2: std::panicking::default_hook::{{closure}}
             at libstd/panicking.rs:380
   3: std::panicking::default_hook
             at libstd/panicking.rs:390
   4: std::panicking::rust_panic_with_hook
             at libstd/panicking.rs:576
   5: std::panicking::begin_panic
   6: rustc_errors::Handler::span_bug
   7: <std::thread::local::LocalKey<T>>::with
   8: rustc::ty::context::tls::with_opt
   9: rustc::session::opt_span_bug_fmt
  10: rustc::session::span_bug_fmt
  11: <rustc::ty::subst::SubstFolder<'a, 'gcx, 'tcx> as rustc::ty::fold::TypeFolder<'gcx, 'tcx>>::fold_region
  12: rustc::ty::fold::TypeFoldable::fold_with
  13: <rustc_data_structures::accumulate_vec::AccumulateVec<A> as core::iter::traits::FromIterator<<A as rustc_data_structures::array_vec::Array>::Element>>::from_iter
  14: rustc::ty::fold::TypeFoldable::fold_with
  15: rustc::ty::structural_impls::<impl rustc::ty::fold::TypeFoldable<'tcx> for &'tcx rustc::ty::TyS<'tcx>>::super_fold_with
  16: <rustc::ty::subst::SubstFolder<'a, 'gcx, 'tcx> as rustc::ty::fold::TypeFolder<'gcx, 'tcx>>::fold_ty
  17: rustc::traits::trans::<impl rustc::ty::context::TyCtxt<'a, 'tcx, 'tcx>>::trans_apply_param_substs
  18: rustc::ty::instance::Instance::ty
  19: rustc_trans::trans_item::predefine_fn
  20: rustc_trans::trans_item::MonoItemExt::predefine
  21: rustc_trans::base::compile_codegen_unit
  22: rustc::ty::maps::<impl rustc::ty::maps::queries::compile_codegen_unit<'tcx>>::compute_result
  23: rustc::dep_graph::graph::DepGraph::with_task_impl
  24: rustc_errors::Handler::track_diagnostics
  25: rustc::ty::maps::plumbing::<impl rustc::ty::context::TyCtxt<'a, 'gcx, 'tcx>>::cycle_check
  26: rustc::ty::maps::<impl rustc::ty::maps::queries::compile_codegen_unit<'tcx>>::force
  27: rustc::ty::maps::<impl rustc::ty::maps::queries::compile_codegen_unit<'tcx>>::try_get
  28: rustc::ty::maps::TyCtxtAt::compile_codegen_unit
  29: rustc::ty::maps::<impl rustc::ty::context::TyCtxt<'a, 'tcx, 'lcx>>::compile_codegen_unit
  30: rustc_trans::base::trans_crate
  31: <rustc_trans::LlvmTransCrate as rustc_trans_utils::trans_crate::TransCrate>::trans_crate
  32: rustc::util::common::time
  33: rustc_driver::driver::phase_4_translate_to_llvm
  34: rustc_driver::driver::compile_input::{{closure}}
  35: <std::thread::local::LocalKey<T>>::with
  36: <std::thread::local::LocalKey<T>>::with
  37: rustc::ty::context::TyCtxt::create_and_enter
  38: rustc_driver::driver::compile_input
  39: rustc_driver::run_compiler

error: Could not compile `openssl`.

ipetkov · 2018-01-20T18:52:00Z

Thanks for the insight @Mrmaxmeier! I've confirmed that removing the -C link-dead-code flag avoids the ICE, and I can consistently reproduce the issue locally with the flag enabled.

ipetkov · 2018-01-22T03:31:21Z

After several false starts, I was able to boil down the ICE to the following case:

pub trait EnvFuture {
    type Item;

    fn boxed_result<'a>(self) where Self: Sized, Self::Item: 'a, {
    }
}

struct Foo;

impl<'a> EnvFuture for &'a Foo {
    type Item = ();
}

This will ICE on nightly when run with the -C link-dead-code flag passed to rustc. Same invocation on stable exits with no error, so this is definitely a regression.

* Currently nightly will ICE when run with `-C link-dead-code`: see rust-lang/rust#47309 for more info * Workaround is to run kcov on stable instead until a fix is in place

ghost · 2018-01-24T14:47:18Z

another repro that might be related:
on rust playground nightly:
note: rustc 1.25.0-nightly (4e3901d 2018-01-23) running on x86_64-unknown-linux-gnu

#![feature(generic_associated_types)]

pub trait Foo<'a> {}
pub trait Bar {
  type Foo<'a> : Foo<'a>;    
  fn foo<'a>(&'a self) -> Self::Foo;
}

fn main() {}

EDIT: sorry unrelated theres's another ticket about it #46793

ipetkov · 2018-02-18T23:32:18Z

This bug has now regressed into stable 1.24: https://travis-ci.org/ipetkov/conch-runtime/jobs/342033538

* It appears that the ICE reported in rust-lang/rust#47309 as regressed into the latest stable version. This change moves coverage collection to use stable 1.20.0 instead * Also run code coverage in a dedicated VM instead of a Docker container as a workaround for travis-ci/travis-ci#9061

rust-lang/rust#47309

nikomatsakis · 2018-02-22T15:32:02Z

triage: P-high

This slipped under the radar. @rust-lang/release -- do you think somebody could bisect this example to get a sense for when the error was introduced? Note that it requires -Clink-dead-code

pnkfelix · 2018-02-22T17:37:40Z

I bisected across rust-nightly channel. Here is result:

tl;dr: bug appears injected somewhere between commits 0a3761e and 8e7a609

% rustc +nightly-2018-01-03 --crate-type lib issue-47309.rs  -C link-dead-code
% rustc +nightly-2018-01-04 --crate-type lib issue-47309.rs  -C link-dead-code
% rustc +nightly-2018-01-05 --crate-type lib issue-47309.rs  -C link-dead-code
error: internal compiler error: /checkout/src/librustc/ty/subst.rs:424: Region parameter out of range when substituting in region 'a (root type=None) (index=1)

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.24.0-nightly (8e7a609e6 2018-01-04) running on x86_64-unknown-linux-gnu

thread 'rustc' panicked at 'Box<Any>', /checkout/src/librustc_errors/lib.rs:451:9
note: Run with `RUST_BACKTRACE=1` for a backtrace.

% rustc +nightly-2018-01-04 --version
rustc 1.24.0-nightly (0a3761e63 2018-01-03)
% rustc +nightly-2018-01-05 --version
rustc 1.24.0-nightly (8e7a609e6 2018-01-04)
%

pnkfelix · 2018-02-22T17:47:26Z

i guess at least 8e7a609 (#46916) appears relevant ... (and it was backported to beta even...)

pietroalbini · 2018-02-22T23:11:14Z

That PR fixed another regression (#46467), so I don't think we can just revert it...

nikomatsakis · 2018-02-23T00:25:07Z

@pnkfelix yes I remember that change

alexcrichton · 2018-02-24T20:28:48Z

I've confirmed @pnkfelix's suspicion for sure in that this ICE is caused by #46916

Due to rust-lang/rust#47309 .

pnkfelix · 2018-03-01T15:30:51Z

triage: assigning to @michaelwoerister to figure out more.

michaelwoerister · 2018-03-07T14:31:16Z

#48818 implements a tentative fix for this. The problem is that the monomorphization collector does not account for method lifetime parameters in create_mono_items_for_default_impls().

@eddyb

Properly handle collecting default impls of methods with lifetime parameters. r? @eddyb Fixes #47309.

Due to rust-lang/rust#47309 .

Mrmaxmeier mentioned this issue Jan 22, 2018

Try to set up code coverage monitoring with codecov.io. tectonic-typesetting/tectonic#150

Merged

estebank added the I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ label Jan 24, 2018

exul mentioned this issue Jan 27, 2018

Fix coverage exul/matrix-rocketchat#55

Merged

Mrmaxmeier mentioned this issue Feb 18, 2018

rust 1.24 the compiler unexpectedly panicked with openssl crate #48248

Closed

zrzka added a commit to zrzka/rust-circleci that referenced this issue Feb 19, 2018

Removed link-dead-code

8c46eb5

rust-lang/rust#47309

alexcrichton added I-nominated T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. regression-from-stable-to-stable Performance or correctness regression from one stable version to another. labels Feb 19, 2018

rust-highfive added P-high High priority and removed I-nominated labels Feb 22, 2018

Mark-Simulacrum added this to the 1.24 milestone Feb 22, 2018

pietroalbini mentioned this issue Feb 22, 2018

Lifetime resolution in generic assoc types makes rustc panic #46793

Closed

pkgw mentioned this issue Feb 25, 2018

Work on symbolic accesses to structure fields tectonic-typesetting/tectonic#162

Merged

Libbum mentioned this issue Feb 25, 2018

link error with undefined reference to `main' on Arch xd009642/tarpaulin#23

Closed

pkgw added a commit to pkgw/tectonic that referenced this issue Feb 26, 2018

.travis.yml: temporarily mark stable as allowed to fail

5099c25

Due to rust-lang/rust#47309 .

xmclark mentioned this issue Mar 1, 2018

Investigate incorrect coverage reports CachedNerds/Hatch#106

Open

pnkfelix assigned michaelwoerister Mar 1, 2018

michaelwoerister mentioned this issue Mar 7, 2018

Properly handle collecting default impls of methods with lifetime parameters. #48818

Merged

bors added a commit that referenced this issue Mar 16, 2018

Auto merge of #48818 - michaelwoerister:issue-47309, r=eddyb

cc34ca1

Properly handle collecting default impls of methods with lifetime parameters. r? @eddyb Fixes #47309.

bors closed this as completed in #48818 Mar 16, 2018

stephank mentioned this issue Mar 23, 2018

Allow opting out from redirect response errors portier/portier-broker#163

Merged

cynecx mentioned this issue Mar 25, 2018

ICE: Region parameter out of range when substituting in region... #49362

Closed

exul mentioned this issue Mar 30, 2018

Do not pin nightly anymore exul/matrix-rocketchat#61

Merged

xd009642 mentioned this issue Apr 17, 2018

internal compiler error when running tarpaulin xd009642/tarpaulin#100

Closed

jkordish added the C-bug Category: This is a bug. label Apr 25, 2018

Mrmaxmeier pushed a commit to Mrmaxmeier/tectonic that referenced this issue Sep 17, 2018

.travis.yml: temporarily mark stable as allowed to fail

1f3f859

Due to rust-lang/rust#47309 .

Centril added the F-generic_associated_types `#![feature(generic_associated_types)]` a.k.a. GATs label Aug 5, 2019

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

ICE: Region parameter out of range when substituting in region #47309

ICE: Region parameter out of range when substituting in region #47309

ipetkov commented Jan 10, 2018 •

edited

Loading

ipetkov commented Jan 14, 2018

Mrmaxmeier commented Jan 20, 2018 •

edited

Loading

ipetkov commented Jan 20, 2018

ipetkov commented Jan 22, 2018 •

edited

Loading

ghost commented Jan 24, 2018 •

edited by ghost

Loading

ipetkov commented Feb 18, 2018

nikomatsakis commented Feb 22, 2018

pnkfelix commented Feb 22, 2018 •

edited

Loading

pnkfelix commented Feb 22, 2018 •

edited

Loading

pietroalbini commented Feb 22, 2018

nikomatsakis commented Feb 23, 2018

alexcrichton commented Feb 24, 2018

pnkfelix commented Mar 1, 2018

michaelwoerister commented Mar 7, 2018

ICE: Region parameter out of range when substituting in region #47309

ICE: Region parameter out of range when substituting in region #47309

Comments

ipetkov commented Jan 10, 2018 • edited Loading

Meta

ipetkov commented Jan 14, 2018

Mrmaxmeier commented Jan 20, 2018 • edited Loading

ipetkov commented Jan 20, 2018

ipetkov commented Jan 22, 2018 • edited Loading

ghost commented Jan 24, 2018 • edited by ghost Loading

ipetkov commented Feb 18, 2018

nikomatsakis commented Feb 22, 2018

pnkfelix commented Feb 22, 2018 • edited Loading

pnkfelix commented Feb 22, 2018 • edited Loading

pietroalbini commented Feb 22, 2018

nikomatsakis commented Feb 23, 2018

alexcrichton commented Feb 24, 2018

pnkfelix commented Mar 1, 2018

michaelwoerister commented Mar 7, 2018

ipetkov commented Jan 10, 2018 •

edited

Loading

Mrmaxmeier commented Jan 20, 2018 •

edited

Loading

ipetkov commented Jan 22, 2018 •

edited

Loading

ghost commented Jan 24, 2018 •

edited by ghost

Loading

pnkfelix commented Feb 22, 2018 •

edited

Loading

pnkfelix commented Feb 22, 2018 •

edited

Loading