ICE caused by using a const_generic fn from a trait or impl #63695

kkoning · 2019-08-19T04:17:15Z

A function that compiles and runs successfully outside of a trait causes an ICE when it's in a trait. The expectation is that this should work similarly to other generics on trait functions--while they will prevent a trait object reference, they should otherwise be allowed. (On playground)

#![feature(const_generics)]
fn test<const A: i32>() -> i32 { A }

trait T {
    fn test<const A: i32>(&self) -> i32 { A }
}

struct S();

impl T for S {}

fn main() {
  let foo = S();
  println!("{}", test::<{8i32}>());
  println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
}

Error and relevant backtrace:

error: internal compiler error: src/librustc_codegen_ssa/mir/operand.rs:79: unevaluated constant in `OperandRef::from_const`

thread 'rustc' panicked at 'Box<Any>', src/librustc_errors/lib.rs:643:9
stack backtrace:
   0: backtrace::backtrace::libunwind::trace
             at /cargo/registry/src/git.luolix.top-1ecc6299db9ec823/backtrace-0.3.34/src/backtrace/libunwind.rs:88
   1: backtrace::backtrace::trace_unsynchronized
             at /cargo/registry/src/git.luolix.top-1ecc6299db9ec823/backtrace-0.3.34/src/backtrace/mod.rs:66
   2: std::sys_common::backtrace::_print
             at src/libstd/sys_common/backtrace.rs:47
   3: std::sys_common::backtrace::print
             at src/libstd/sys_common/backtrace.rs:36
   4: std::panicking::default_hook::{{closure}}
             at src/libstd/panicking.rs:200
   5: std::panicking::default_hook
             at src/libstd/panicking.rs:214
   6: rustc::util::common::panic_hook
   7: std::panicking::rust_panic_with_hook
             at src/libstd/panicking.rs:481
   8: std::panicking::begin_panic
   9: rustc_errors::Handler::bug
  10: rustc::util::bug::opt_span_bug_fmt::{{closure}}
  11: rustc::ty::context::tls::with_opt::{{closure}}
  12: rustc::ty::context::tls::with_context_opt
  13: rustc::ty::context::tls::with_opt
  14: rustc::util::bug::opt_span_bug_fmt
  15: rustc::util::bug::bug_fmt
  16: rustc_codegen_ssa::mir::operand::OperandRef<V>::from_const
  17: rustc_codegen_ssa::mir::operand::<impl rustc_codegen_ssa::mir::FunctionCx<Bx>>::codegen_operand
  18: rustc_codegen_ssa::mir::rvalue::<impl rustc_codegen_ssa::mir::FunctionCx<Bx>>::codegen_rvalue_operand
  19: rustc_codegen_ssa::mir::codegen_mir
  20: rustc_codegen_ssa::base::codegen_instance
  21: <rustc::mir::mono::MonoItem as rustc_codegen_ssa::mono_item::MonoItemExt>::define
  22: rustc_codegen_llvm::base::compile_codegen_unit::module_codegen
  23: rustc::dep_graph::graph::DepGraph::with_task
  24: rustc_codegen_llvm::base::compile_codegen_unit
  25: rustc_codegen_ssa::base::codegen_crate
  26: <rustc_codegen_llvm::LlvmCodegenBackend as rustc_codegen_utils::codegen_backend::CodegenBackend>::codegen_crate
  27: rustc::util::common::time
  28: rustc_interface::passes::BoxedGlobalCtxt::access::{{closure}}
  29: rustc_interface::passes::create_global_ctxt::{{closure}}
  30: rustc_interface::passes::BoxedGlobalCtxt::enter
  31: rustc_interface::queries::Query<T>::compute
  32: rustc_interface::queries::<impl rustc_interface::interface::Compiler>::ongoing_codegen
  33: rustc_interface::interface::run_compiler_in_existing_thread_pool
  34: std::thread::local::LocalKey<T>::with
  35: scoped_tls::ScopedKey<T>::set
  36: syntax::with_globals
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
query stack during panic:
end of query stack
error: aborting due to previous error


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.39.0-nightly (2111aed0a 2019-08-17) running on x86_64-unknown-linux-gnu

note: compiler flags: -C codegen-units=1 -C debuginfo=2 --crate-type bin

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

hellow554 · 2019-08-19T06:38:19Z

It doesn't have to be in a trait, a regular impl block would do it as well:

#![feature(const_generics)]

struct S;
impl S {
    fn test<const A: i32>() -> i32 {
        A
    }
}

fn main() {
    S::test::<{ 16i32 }>();
}

kkoning · 2019-08-19T16:04:09Z

Looks like it's the same ICE at src/librustc_codegen_ssa/mir/operand.rs:79 in both cases.

BenLewis-Seequent · 2019-10-20T04:42:15Z

It appears that the ICE at src/librustc_codegen_ssa/mir/operand.rs:79 is masking some earlier bugs, as running cargo check instead, yields the following ICEs:

For the original snippet:

error: internal compiler error: unexpected const parent in type_of_def_id(): Expr(expr(HirId { owner: DefIndex(20), local_id: 82 }: foo.test::<>()))

error: internal compiler error: cat_expr Errd
  --> src/main.rs:83:31
   |
83 |     println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                               ^^^^^^^

error: internal compiler error: mir_const_qualif: MIR had errors
  --> src/main.rs:83:31
   |
83 |     println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                               ^^^^^^^

error: internal compiler error: QualifyAndPromoteConstants: MIR had errors
  --> src/main.rs:83:31
   |
83 |     println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                               ^^^^^^^

error: internal compiler error: broken MIR in DefId(0:22 ~ rust_test[143a]::main[0]::{{constant}}[1]) ("return type"): bad type [type error]
  --> src/main.rs:83:31
   |
83 |     println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                               ^^^^^^^

error: internal compiler error: broken MIR in DefId(0:22 ~ rust_test[143a]::main[0]::{{constant}}[1]) (LocalDecl { mutability: Mut, is_user_variable: None, internal: false, is_block_tail: None, ty: [type error], user_ty: UserTypeProjections { contents: [] }, name: None, source_info: SourceInfo { span: src/main.rs:83:31: 83:38, scope: scope[0] }, visibility_scope: scope[0] }): bad type [type error]
  --> src/main.rs:83:31
   |
83 |     println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                               ^^^^^^^

thread 'rustc' panicked at 'no errors encountered even though `delay_span_bug` issued', src/librustc_errors/lib.rs:391:17

and for @hellow554 snippet:

error: internal compiler error: unexpected const parent path Expr(expr(HirId { owner: DefIndex(17), local_id: 8 }: <S>::test::<>))

error: internal compiler error: cat_expr Errd
  --> src/main.rs:78:15
   |
78 |     S::test::<{ 16i32 }>();
   |               ^^^^^^^^^

error: internal compiler error: mir_const_qualif: MIR had errors
  --> src/main.rs:78:15
   |
78 |     S::test::<{ 16i32 }>();
   |               ^^^^^^^^^

error: internal compiler error: QualifyAndPromoteConstants: MIR had errors
  --> src/main.rs:78:15
   |
78 |     S::test::<{ 16i32 }>();
   |               ^^^^^^^^^

error: internal compiler error: broken MIR in DefId(0:18 ~ rust_test[143a]::main[0]::{{constant}}[0]) ("return type"): bad type [type error]
  --> src/main.rs:78:15
   |
78 |     S::test::<{ 16i32 }>();
   |               ^^^^^^^^^

error: internal compiler error: broken MIR in DefId(0:18 ~ rust_test[143a]::main[0]::{{constant}}[0]) (LocalDecl { mutability: Mut, is_user_variable: None, internal: false, is_block_tail: None, ty: [type error], user_ty: UserTypeProjections { contents: [] }, name: None, source_info: SourceInfo { span: src/main.rs:78:15: 78:24, scope: scope[0] }, visibility_scope: scope[0] }): bad type [type error]
  --> src/main.rs:78:15
   |
78 |     S::test::<{ 16i32 }>();
   |               ^^^^^^^^^

thread 'rustc' panicked at 'no errors encountered even though `delay_span_bug` issued', src/librustc_errors/lib.rs:391:17

Both of these are related to #64537.

varkor · 2020-01-05T22:23:38Z

Also seems related to #63695, although the error is different.

lcnr · 2020-03-23T11:07:35Z

this probably depends on #70125 (comment)

lcnr · 2020-03-23T12:40:04Z

@rustbot claim

Alexendoo · 2020-03-24T12:36:45Z

No longer ICEs as of #70249, could do with a test

lcnr · 2020-03-24T13:49:12Z

@rustbot release-assignment

While the ICE is gone, this is still a bug. probably related to #70167 (comment)

matthiaskrgr · 2020-04-07T14:31:28Z

Current status is that this ICEs again:

warning: the feature `const_generics` is incomplete and may cause the compiler to crash
 --> ./63695.rs:1:12
  |
1 | #![feature(const_generics)]
  |            ^^^^^^^^^^^^^^
  |
  = note: `#[warn(incomplete_features)]` on by default

warning: unnecessary braces around const expression
  --> ./63695.rs:14:25
   |
14 |   println!("{}", test::<{8i32}>());
   |                         ^^^^^^ help: remove these braces
   |
   = note: `#[warn(unused_braces)]` on by default

warning: unnecessary braces around const expression
  --> ./63695.rs:15:29
   |
15 |   println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                             ^^^^^^^ help: remove these braces

thread 'rustc' panicked at 'index out of bounds: the len is 0 but the index is 0', src/librustc_mir_build/hair/pattern/_match.rs:2325:13
stack backtrace:
   0:     0x7f5d7e208b24 - backtrace::backtrace::libunwind::trace::hcdd38e03c5c0ae1d
                               at /cargo/registry/src/git.luolix.top-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
   1:     0x7f5d7e208b24 - backtrace::backtrace::trace_unsynchronized::he5bd7c616dadfd7d
                               at /cargo/registry/src/git.luolix.top-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
   2:     0x7f5d7e208b24 - std::sys_common::backtrace::_print_fmt::h5c76d4ca71f55821
                               at src/libstd/sys_common/backtrace.rs:78
   3:     0x7f5d7e208b24 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h2c8c63d62d7bea1c
                               at src/libstd/sys_common/backtrace.rs:59
   4:     0x7f5d7e2470ec - core::fmt::write::h97d981a565c87982
                               at src/libcore/fmt/mod.rs:1069
   5:     0x7f5d7e1fa5b3 - std::io::Write::write_fmt::h76b54795ca4d1941
                               at src/libstd/io/mod.rs:1439
   6:     0x7f5d7e20db25 - std::sys_common::backtrace::_print::h93fb2909159290d7
                               at src/libstd/sys_common/backtrace.rs:62
   7:     0x7f5d7e20db25 - std::sys_common::backtrace::print::ha755c3134746c2d0
                               at src/libstd/sys_common/backtrace.rs:49
   8:     0x7f5d7e20db25 - std::panicking::default_hook::{{closure}}::h3a7ab24b109d5437
                               at src/libstd/panicking.rs:198
   9:     0x7f5d7e20d862 - std::panicking::default_hook::h2aa3c18a39936382
                               at src/libstd/panicking.rs:218
  10:     0x7f5d7e7b1893 - rustc_driver::report_ice::h9d751a31d8f5cb70
  11:     0x7f5d7e20e2a5 - std::panicking::rust_panic_with_hook::h5035e60b675c5c99
                               at src/libstd/panicking.rs:515
  12:     0x7f5d7e20ddbb - rust_begin_unwind
                               at src/libstd/panicking.rs:419
  13:     0x7f5d7e243d81 - core::panicking::panic_fmt::h7fe09dc6d8aa54c4
                               at src/libcore/panicking.rs:111
  14:     0x7f5d7e243d42 - core::panicking::panic_bounds_check::h455995dc3a9d6188
                               at src/libcore/panicking.rs:69
  15:     0x7f5d7f77af27 - rustc_mir_build::hair::pattern::_match::PatStack::specialize_constructor::h1594ec76531468b4
  16:     0x7f5d7f78244b - rustc_mir_build::hair::pattern::_match::is_useful_specialized::hb6a04933fc3595e9
  17:     0x7f5d7f6cdfba - <core::iter::adapters::Map<I,F> as core::iter::traits::iterator::Iterator>::try_fold::h1ff7bd5b8172c9d8
  18:     0x7f5d7f781465 - rustc_mir_build::hair::pattern::_match::is_useful::hcbec6f5164cb9e30
  19:     0x7f5d7f6aa017 - rustc_mir_build::hair::pattern::check_match::check_not_useful::hb67cd7eba080cf5c
  20:     0x7f5d7f6aa2f3 - rustc_mir_build::hair::pattern::check_match::check_exhaustive::h3bda1669a3d7ef3e
  21:     0x7f5d7f77d6eb - rustc_mir_build::hair::pattern::_match::MatchCheckCtxt::create_and_enter::h87762c10c625c6c4
  22:     0x7f5d7f6a8a6a - <rustc_mir_build::hair::pattern::check_match::MatchVisitor as rustc_hir::intravisit::Visitor>::visit_expr::h6849508b1ee019d7
  23:     0x7f5d7f6a8998 - <rustc_mir_build::hair::pattern::check_match::MatchVisitor as rustc_hir::intravisit::Visitor>::visit_expr::h6849508b1ee019d7
  24:     0x7f5d7f69c98d - rustc_hir::intravisit::walk_expr::hd0d8de0cb740ca04
  25:     0x7f5d7f6a8998 - <rustc_mir_build::hair::pattern::check_match::MatchVisitor as rustc_hir::intravisit::Visitor>::visit_expr::h6849508b1ee019d7
  26:     0x7f5d7f69c98d - rustc_hir::intravisit::walk_expr::hd0d8de0cb740ca04
  27:     0x7f5d7f6a8998 - <rustc_mir_build::hair::pattern::check_match::MatchVisitor as rustc_hir::intravisit::Visitor>::visit_expr::h6849508b1ee019d7
  28:     0x7f5d7f698d9a - rustc_hir::intravisit::walk_block::h9c6be5556bdcd7bb
  29:     0x7f5d7f6a8998 - <rustc_mir_build::hair::pattern::check_match::MatchVisitor as rustc_hir::intravisit::Visitor>::visit_expr::h6849508b1ee019d7
  30:     0x7f5d7f698d9a - rustc_hir::intravisit::walk_block::h9c6be5556bdcd7bb
  31:     0x7f5d7f6a8998 - <rustc_mir_build::hair::pattern::check_match::MatchVisitor as rustc_hir::intravisit::Visitor>::visit_expr::h6849508b1ee019d7
  32:     0x7f5d7f6a8762 - rustc_mir_build::hair::pattern::check_match::check_match::h88d733cc4c663b84
  33:     0x7f5d7eb09432 - rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::check_match>::compute::h24ee063abef3f925
  34:     0x7f5d7ea3c7c4 - rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl::hab8aed87ddfd8f0e
  35:     0x7f5d7eb1ecc3 - rustc_query_system::query::plumbing::get_query::h8370e76bdc54ab4c
  36:     0x7f5d7eb0b797 - rustc_query_system::query::plumbing::ensure_query::hf27b412ff7d91b2a
  37:     0x7f5d7ea8689a - rustc_session::utils::<impl rustc_session::session::Session>::time::hd888275f41dade91
  38:     0x7f5d7ea847f7 - rustc_session::utils::<impl rustc_session::session::Session>::time::h8a84f49d5f3a9e9a
  39:     0x7f5d7eb45614 - rustc_interface::passes::analysis::h524f56f1017c1f7e
  40:     0x7f5d7e7beabb - rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::analysis>::compute::h92269a4be7a4efde
  41:     0x7f5d7e8f783a - rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl::hfcc7b4779663ce33
  42:     0x7f5d7e7c3968 - rustc_query_system::query::plumbing::get_query::h7724d6af1510ed57
  43:     0x7f5d7e79b457 - rustc_middle::ty::context::tls::enter_global::h2eb0eb42c8d04e67
  44:     0x7f5d7e903514 - rustc_interface::interface::run_compiler_in_existing_thread_pool::h5d0007c9e772807e
  45:     0x7f5d7e7b978d - scoped_tls::ScopedKey<T>::set::h33da4c1fce01c783
  46:     0x7f5d7e7b6bd4 - rustc_ast::attr::with_globals::h3aa58156df1d5bbe
  47:     0x7f5d7e7c86a4 - std::sys_common::backtrace::__rust_begin_short_backtrace::hfec31279bda1a2bb
  48:     0x7f5d7e905f1e - core::ops::function::FnOnce::call_once{{vtable.shim}}::hf6fcb50b5f0a17ae
  49:     0x7f5d7e1ea72f - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h0125fb8449617e8e
                               at /rustc/6dee5f1126dfd5c9314ee5ae9d9eb010e35ef257/src/liballoc/boxed.rs:1008
  50:     0x7f5d7e21e2e3 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h54cf67aadcb0c7ef
                               at /rustc/6dee5f1126dfd5c9314ee5ae9d9eb010e35ef257/src/liballoc/boxed.rs:1008
  51:     0x7f5d7e21e2e3 - std::sys::unix::thread::Thread::new::thread_start::h7b7ac7c277b0d963
                               at src/libstd/sys/unix/thread.rs:87
  52:     0x7f5d7e13046f - start_thread
  53:     0x7f5d7e0503d3 - clone
  54:                0x0 - <unknown>

error: internal compiler error: unexpected panic

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.44.0-nightly (6dee5f112 2020-04-06) running on x86_64-unknown-linux-gnu

query stack during panic:
#0 [check_match] processing `main`
#1 [analysis] running analysis passes on this crate
end of query stack
error: internal compiler error: unexpected const parent in type_of_def_id(): Expr(Expr { hir_id: HirId { owner: DefId(0:11 ~ 63695[317d]::main[0]), local_id: 82 }, kind: MethodCall(PathSegment { ident: test#0, hir_id: Some(HirId { owner: DefId(0:11 ~ 63695[317d]::main[0]), local_id: 79 }), res: Some(Err), args: Some(GenericArgs { args: [Const(ConstArg { value: AnonConst { hir_id: HirId { owner: DefId(0:11 ~ 63695[317d]::main[0]), local_id: 75 }, body: BodyId { hir_id: HirId { owner: DefId(0:11 ~ 63695[317d]::main[0]), local_id: 78 } } }, span: ./63695.rs:15:29: 15:36 })], bindings: [], parenthesized: false }), infer_args: false }, ./63695.rs:15:22: 15:26, [Expr { hir_id: HirId { owner: DefId(0:11 ~ 63695[317d]::main[0]), local_id: 81 }, kind: Path(Resolved(None, Path { span: ./63695.rs:15:18: 15:21, res: Local(HirId { owner: DefId(0:11 ~ 63695[317d]::main[0]), local_id: 1 }), segments: [PathSegment { ident: foo#0, hir_id: Some(HirId { owner: DefId(0:11 ~ 63695[317d]::main[0]), local_id: 80 }), res: Some(Local(HirId { owner: DefId(0:11 ~ 63695[317d]::main[0]), local_id: 1 })), args: None, infer_args: true }] })), attrs: ThinVec(None), span: ./63695.rs:15:18: 15:21 }]), attrs: ThinVec(None), span: ./63695.rs:15:18: 15:39 })

error: internal compiler error: cat_expr Errd
  --> ./63695.rs:12:11
   |
12 |   fn main() {
   |  ___________^
13 | |   let foo = S();
14 | |   println!("{}", test::<{8i32}>());
15 | |   println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
16 | | }
   | |_^

error: internal compiler error: cat_expr Errd
  --> ./63695.rs:15:3
   |
15 |   println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: this error: internal compiler error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)

error: internal compiler error: cat_expr Errd
  --> ./63695.rs:15:3
   |
15 |   println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: this error: internal compiler error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)

error: internal compiler error: cat_expr Errd
  --> ./63695.rs:15:18
   |
15 |   println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                  ^^^^^^^^^^^^^^^^^^^^^

error: internal compiler error: cat_expr Errd
  --> ./63695.rs:15:18
   |
15 |   println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                  ^^^^^^^^^^^^^^^^^^^^^
   |
   = note: this error: internal compiler error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)

error: internal compiler error: cat_expr Errd
  --> ./63695.rs:15:29
   |
15 |   println!("{}", foo.test::<{16i32}>());  // <- Causes ICE
   |                             ^^^^^^^

thread 'rustc' panicked at 'no errors encountered even though `delay_span_bug` issued', src/librustc_errors/lib.rs:360:17
stack backtrace:
   0:     0x7f5d7e208b24 - backtrace::backtrace::libunwind::trace::hcdd38e03c5c0ae1d
                               at /cargo/registry/src/git.luolix.top-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
   1:     0x7f5d7e208b24 - backtrace::backtrace::trace_unsynchronized::he5bd7c616dadfd7d
                               at /cargo/registry/src/git.luolix.top-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
   2:     0x7f5d7e208b24 - std::sys_common::backtrace::_print_fmt::h5c76d4ca71f55821
                               at src/libstd/sys_common/backtrace.rs:78
   3:     0x7f5d7e208b24 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h2c8c63d62d7bea1c
                               at src/libstd/sys_common/backtrace.rs:59
   4:     0x7f5d7e2470ec - core::fmt::write::h97d981a565c87982
                               at src/libcore/fmt/mod.rs:1069
   5:     0x7f5d7e1fa5b3 - std::io::Write::write_fmt::h76b54795ca4d1941
                               at src/libstd/io/mod.rs:1439
   6:     0x7f5d7e20db25 - std::sys_common::backtrace::_print::h93fb2909159290d7
                               at src/libstd/sys_common/backtrace.rs:62
   7:     0x7f5d7e20db25 - std::sys_common::backtrace::print::ha755c3134746c2d0
                               at src/libstd/sys_common/backtrace.rs:49
   8:     0x7f5d7e20db25 - std::panicking::default_hook::{{closure}}::h3a7ab24b109d5437
                               at src/libstd/panicking.rs:198
   9:     0x7f5d7e20d862 - std::panicking::default_hook::h2aa3c18a39936382
                               at src/libstd/panicking.rs:218
  10:     0x7f5d7e7b1893 - rustc_driver::report_ice::h9d751a31d8f5cb70
  11:     0x7f5d7e20e2a5 - std::panicking::rust_panic_with_hook::h5035e60b675c5c99
                               at src/libstd/panicking.rs:515
  12:     0x7f5d80f3f42e - std::panicking::begin_panic::h634b5f0eb0b90992
  13:     0x7f5d80f77a02 - <rustc_errors::HandlerInner as core::ops::drop::Drop>::drop::h5759019f31a3ed3d
  14:     0x7f5d7e8e70c6 - core::ptr::drop_in_place::hd3d25bd1d04868da
  15:     0x7f5d7e8eb4f2 - <alloc::rc::Rc<T> as core::ops::drop::Drop>::drop::h41dbd5209bf268e4
  16:     0x7f5d7e906c6d - core::ptr::drop_in_place::h0ad6eaa53f54c79b
  17:     0x7f5d7e9042dd - rustc_interface::interface::run_compiler_in_existing_thread_pool::h5d0007c9e772807e
  18:     0x7f5d7e7b978d - scoped_tls::ScopedKey<T>::set::h33da4c1fce01c783
  19:     0x7f5d7e7b6bd4 - rustc_ast::attr::with_globals::h3aa58156df1d5bbe
  20:     0x7f5d7e7c86a4 - std::sys_common::backtrace::__rust_begin_short_backtrace::hfec31279bda1a2bb
  21:     0x7f5d7e905f1e - core::ops::function::FnOnce::call_once{{vtable.shim}}::hf6fcb50b5f0a17ae
  22:     0x7f5d7e1ea72f - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h0125fb8449617e8e
                               at /rustc/6dee5f1126dfd5c9314ee5ae9d9eb010e35ef257/src/liballoc/boxed.rs:1008
  23:     0x7f5d7e21e2e3 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h54cf67aadcb0c7ef
                               at /rustc/6dee5f1126dfd5c9314ee5ae9d9eb010e35ef257/src/liballoc/boxed.rs:1008
  24:     0x7f5d7e21e2e3 - std::sys::unix::thread::Thread::new::thread_start::h7b7ac7c277b0d963
                               at src/libstd/sys/unix/thread.rs:87
  25:     0x7f5d7e13046f - start_thread
  26:     0x7f5d7e0503d3 - clone
  27:                0x0 - <unknown>

error: internal compiler error: unexpected panic

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.44.0-nightly (6dee5f112 2020-04-06) running on x86_64-unknown-linux-gnu

query stack during panic:
end of query stack
thread panicked while panicking. aborting.
[1]    609374 illegal hardware instruction (core dumped)  RUST_BACKTRACE=full rustc ./63695.rs

@eddyb

const generics triage I went through all const generics issues and closed all issues which are already fixed. Some issues already have a regression test but were not closed. Also doing this as part of this PR. uff r? @eddyb @varkor closes rust-lang#61936 closes rust-lang#62878 closes rust-lang#63695 closes rust-lang#67144 closes rust-lang#68596 closes rust-lang#69816 closes rust-lang#70217 closes rust-lang#70507 closes rust-lang#70586 closes rust-lang#71348 closes rust-lang#71805 closes rust-lang#73120 closes rust-lang#73508 closes rust-lang#73730 closes rust-lang#74255

kkoning changed the title ~~Trait function with a const_generic causes an ICE~~ ICE caused by using a const_generic fn from a trait or impl Aug 19, 2019

rust-lang-glacier-bot added the glacier ICE tracked in rust-lang/glacier. label Oct 15, 2019

rustbot self-assigned this Mar 23, 2020

lcnr mentioned this issue Mar 23, 2020

correctly normalize constants #70319

Merged

github-actions bot mentioned this issue Mar 24, 2020

ices/63695.rs: fixed with errors rust-lang/glacier#318

Merged

Alexendoo added the E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added. label Mar 24, 2020

rustbot removed their assignment Mar 24, 2020

Alexendoo mentioned this issue Apr 7, 2020

Revert "ices/63695.rs: fixed with errors" rust-lang/glacier#325

Merged

Alexendoo removed the E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added. label Apr 7, 2020

varkor mentioned this issue Apr 8, 2020

Classify various const generics bugs #68400

Closed

lcnr mentioned this issue Apr 23, 2020

Support const args in type dependent paths #71154

Closed

lcnr mentioned this issue Apr 26, 2020

String-based const generics, associated types and where Self clause ICE when implementors are explicitly selected #71348

Closed

lcnr mentioned this issue Jul 16, 2020

const generics triage #74392

Merged

github-actions bot mentioned this issue Jul 16, 2020

ices/63695.rs: fixed with no errors rust-lang/glacier#426

Merged

bors closed this as completed in c354524 Jul 16, 2020

bors closed this as completed in #74392 Jul 16, 2020

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

ICE caused by using a const_generic fn from a trait or impl #63695

ICE caused by using a const_generic fn from a trait or impl #63695

kkoning commented Aug 19, 2019 •

edited by rustbot

Loading

hellow554 commented Aug 19, 2019

kkoning commented Aug 19, 2019

BenLewis-Seequent commented Oct 20, 2019

varkor commented Jan 5, 2020

lcnr commented Mar 23, 2020

lcnr commented Mar 23, 2020

Alexendoo commented Mar 24, 2020

lcnr commented Mar 24, 2020

matthiaskrgr commented Apr 7, 2020 •

edited

Loading

ICE caused by using a const_generic fn from a trait or impl #63695

ICE caused by using a const_generic fn from a trait or impl #63695

Comments

kkoning commented Aug 19, 2019 • edited by rustbot Loading

hellow554 commented Aug 19, 2019

kkoning commented Aug 19, 2019

BenLewis-Seequent commented Oct 20, 2019

varkor commented Jan 5, 2020

lcnr commented Mar 23, 2020

lcnr commented Mar 23, 2020

Alexendoo commented Mar 24, 2020

lcnr commented Mar 24, 2020

matthiaskrgr commented Apr 7, 2020 • edited Loading

kkoning commented Aug 19, 2019 •

edited by rustbot

Loading

matthiaskrgr commented Apr 7, 2020 •

edited

Loading