Skip to content

ICE: 'is_trivially_sized' applied to unexpected type #114872

Closed
#114876
Closed
ICE: 'is_trivially_sized' applied to unexpected type#114872
#114876
Assignees
compiler-errors
Labels
C-bugCategory: This is a bug.F-non_lifetime_binders`#![feature(non_lifetime_binders)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.requires-nightlyThis issue requires a nightly compiler in some way. When possible, use a F-* label instead.

Description

@matthiaskrgr
matthiaskrgr
opened on Aug 15, 2023

Code

#![feature(non_lifetime_binders)]

pub fn non_lifetime_binders()
where
    for<V> V: Sized,
{
    foo();
}

pub fn foo()
where
    for<V> V: Sized,
{
}

pub fn main() {}

Meta

rustc --version --verbose:

<version>

Error output

<output>
Backtrace 

warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
 --> 8BADA2EFE1A11E43FBD02C82C65B5244C97B4D07A0AD828400AC2E5B9329F751.rs:1:12
  |
1 | #![feature(non_lifetime_binders)]
  |            ^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #108185 <https://github.com/rust-lang/rust/issues/108185> for more information
  = note: `#[warn(incomplete_features)]` on by default

error: internal compiler error: compiler/rustc_middle/src/ty/sty.rs:2835:17: `is_trivially_sized` applied to unexpected type: V

thread 'rustc' panicked at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/compiler/rustc_errors/src/lib.rs:1635:9:
Box<dyn Any>
stack backtrace:
   0:     0x7fab9411945c - std::backtrace_rs::backtrace::libunwind::trace::h7e24895661a074cd
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
   1:     0x7fab9411945c - std::backtrace_rs::backtrace::trace_unsynchronized::hc8ae92fabb42b15c
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x7fab9411945c - std::sys_common::backtrace::_print_fmt::h11ded4f8f5b0329f
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/sys_common/backtrace.rs:67:5
   3:     0x7fab9411945c - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hc90f9f5ac29432d5
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/sys_common/backtrace.rs:44:22
   4:     0x7fab9417f5ac - core::fmt::rt::Argument::fmt::h4c20a05991cc3745
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/core/src/fmt/rt.rs:138:9
   5:     0x7fab9417f5ac - core::fmt::write::h9a84aabb8cd6953f
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/core/src/fmt/mod.rs:1094:21
   6:     0x7fab9410bdfe - std::io::Write::write_fmt::h23a1fdb70e60ca96
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/io/mod.rs:1714:15
   7:     0x7fab94119244 - std::sys_common::backtrace::_print::h93f5a4ced68361a5
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/sys_common/backtrace.rs:47:5
   8:     0x7fab94119244 - std::sys_common::backtrace::print::h8c8b1e3e278d8649
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/sys_common/backtrace.rs:34:9
   9:     0x7fab9411c33a - std::panicking::panic_hook_with_disk_dump::{{closure}}::h25dd3773dffd1d00
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/panicking.rs:278:22
  10:     0x7fab9411c027 - std::panicking::panic_hook_with_disk_dump::ha01b0d9be84d4dd7
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/panicking.rs:312:9
  11:     0x7fab92f5d999 - rustc_driver_impl[3c7dc59cb046a4dd]::install_ice_hook::{closure#0}
  12:     0x7fab9411cbe0 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2e0697fdfbf35585
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/alloc/src/boxed.rs:2021:9
  13:     0x7fab9411cbe0 - std::panicking::rust_panic_with_hook::h6f0de6ca2daef081
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/panicking.rs:733:13
  14:     0x7fab934d3661 - std[590ec69203f6bd62]::panicking::begin_panic::<rustc_errors[615d1ee814c5996f]::ExplicitBug>::{closure#0}
  15:     0x7fab934d1ad6 - std[590ec69203f6bd62]::sys_common::backtrace::__rust_end_short_backtrace::<std[590ec69203f6bd62]::panicking::begin_panic<rustc_errors[615d1ee814c5996f]::ExplicitBug>::{closure#0}, !>
  16:     0x7fab93442a86 - std[590ec69203f6bd62]::panicking::begin_panic::<rustc_errors[615d1ee814c5996f]::ExplicitBug>
  17:     0x7fab934b7f14 - <rustc_errors[615d1ee814c5996f]::HandlerInner>::bug::<alloc[bbc2534da1f72b7e]::string::String>
  18:     0x7fab934b7da6 - <rustc_errors[615d1ee814c5996f]::Handler>::bug::<alloc[bbc2534da1f72b7e]::string::String>
  19:     0x7fab93525a3c - rustc_middle[312d8f8c3503f059]::util::bug::opt_span_bug_fmt::<rustc_span[f7e3d02a9c43aa24]::span_encoding::Span>::{closure#0}
  20:     0x7fab9352586a - rustc_middle[312d8f8c3503f059]::ty::context::tls::with_opt::<rustc_middle[312d8f8c3503f059]::util::bug::opt_span_bug_fmt<rustc_span[f7e3d02a9c43aa24]::span_encoding::Span>::{closure#0}, !>::{closure#0}
  21:     0x7fab93525838 - rustc_middle[312d8f8c3503f059]::ty::context::tls::with_context_opt::<rustc_middle[312d8f8c3503f059]::ty::context::tls::with_opt<rustc_middle[312d8f8c3503f059]::util::bug::opt_span_bug_fmt<rustc_span[f7e3d02a9c43aa24]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
  22:     0x7fab91772370 - rustc_middle[312d8f8c3503f059]::util::bug::bug_fmt
  23:     0x7fab9103ce37 - <rustc_middle[312d8f8c3503f059]::ty::Ty>::is_trivially_sized
  24:     0x7fab92148e9b - <rustc_middle[312d8f8c3503f059]::ty::ParamEnvAnd<rustc_middle[312d8f8c3503f059]::traits::query::type_op::ProvePredicate> as rustc_trait_selection[1eabeee33a6be0d5]::traits::query::type_op::TypeOp>::fully_perform
  25:     0x7fab91dfd317 - <rustc_borrowck[2d1b62fc948ef02b]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
  26:     0x7fab91dfdfc4 - <rustc_borrowck[2d1b62fc948ef02b]::type_check::TypeVerifier as rustc_middle[312d8f8c3503f059]::mir::visit::Visitor>::visit_constant
  27:     0x7fab91de735a - <rustc_borrowck[2d1b62fc948ef02b]::type_check::TypeVerifier as rustc_middle[312d8f8c3503f059]::mir::visit::Visitor>::visit_body
  28:     0x7fab91d7a557 - rustc_borrowck[2d1b62fc948ef02b]::type_check::type_check
  29:     0x7fab91d63a3b - rustc_borrowck[2d1b62fc948ef02b]::nll::compute_regions
  30:     0x7fab91d47032 - rustc_borrowck[2d1b62fc948ef02b]::do_mir_borrowck
  31:     0x7fab91d45275 - rustc_borrowck[2d1b62fc948ef02b]::mir_borrowck
  32:     0x7fab9103bd0e - rustc_query_impl[6f335a6ac689f3cc]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[6f335a6ac689f3cc]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[312d8f8c3503f059]::query::erase::Erased<[u8; 8usize]>>
  33:     0x7fab9103bcde - <rustc_query_impl[6f335a6ac689f3cc]::query_impl::mir_borrowck::dynamic_query::{closure#2} as core[82106fbad00a9fec]::ops::function::FnOnce<(rustc_middle[312d8f8c3503f059]::ty::context::TyCtxt, rustc_span[f7e3d02a9c43aa24]::def_id::LocalDefId)>>::call_once
  34:     0x7fab91133b9d - rustc_query_system[c7dced7d5402288e]::query::plumbing::try_execute_query::<rustc_query_impl[6f335a6ac689f3cc]::DynamicConfig<rustc_query_system[c7dced7d5402288e]::query::caches::VecCache<rustc_span[f7e3d02a9c43aa24]::def_id::LocalDefId, rustc_middle[312d8f8c3503f059]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[6f335a6ac689f3cc]::plumbing::QueryCtxt, false>
  35:     0x7fab928d626f - rustc_query_impl[6f335a6ac689f3cc]::query_impl::mir_borrowck::get_query_non_incr::__rust_end_short_backtrace
  36:     0x7fab924852a6 - <rustc_session[de015b59d59f550c]::session::Session>::time::<(), rustc_interface[748212428c5afc91]::passes::analysis::{closure#1}>
  37:     0x7fab92484a3e - rustc_interface[748212428c5afc91]::passes::analysis
  38:     0x7fab9246d38a - rustc_query_impl[6f335a6ac689f3cc]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[6f335a6ac689f3cc]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[312d8f8c3503f059]::query::erase::Erased<[u8; 1usize]>>
  39:     0x7fab9246d379 - <rustc_query_impl[6f335a6ac689f3cc]::query_impl::analysis::dynamic_query::{closure#2} as core[82106fbad00a9fec]::ops::function::FnOnce<(rustc_middle[312d8f8c3503f059]::ty::context::TyCtxt, ())>>::call_once
  40:     0x7fab9260ac68 - rustc_query_system[c7dced7d5402288e]::query::plumbing::try_execute_query::<rustc_query_impl[6f335a6ac689f3cc]::DynamicConfig<rustc_query_system[c7dced7d5402288e]::query::caches::SingleCache<rustc_middle[312d8f8c3503f059]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[6f335a6ac689f3cc]::plumbing::QueryCtxt, false>
  41:     0x7fab9260a9f7 - rustc_query_impl[6f335a6ac689f3cc]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
  42:     0x7fab92260806 - <rustc_middle[312d8f8c3503f059]::ty::context::GlobalCtxt>::enter::<rustc_driver_impl[3c7dc59cb046a4dd]::run_compiler::{closure#1}::{closure#2}::{closure#6}, core[82106fbad00a9fec]::result::Result<(), rustc_span[f7e3d02a9c43aa24]::ErrorGuaranteed>>
  43:     0x7fab9225fc4d - <rustc_interface[748212428c5afc91]::interface::Compiler>::enter::<rustc_driver_impl[3c7dc59cb046a4dd]::run_compiler::{closure#1}::{closure#2}, core[82106fbad00a9fec]::result::Result<core[82106fbad00a9fec]::option::Option<rustc_interface[748212428c5afc91]::queries::Linker>, rustc_span[f7e3d02a9c43aa24]::ErrorGuaranteed>>
  44:     0x7fab9225cf68 - std[590ec69203f6bd62]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[748212428c5afc91]::util::run_in_thread_pool_with_globals<rustc_interface[748212428c5afc91]::interface::run_compiler<core[82106fbad00a9fec]::result::Result<(), rustc_span[f7e3d02a9c43aa24]::ErrorGuaranteed>, rustc_driver_impl[3c7dc59cb046a4dd]::run_compiler::{closure#1}>::{closure#0}, core[82106fbad00a9fec]::result::Result<(), rustc_span[f7e3d02a9c43aa24]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[82106fbad00a9fec]::result::Result<(), rustc_span[f7e3d02a9c43aa24]::ErrorGuaranteed>>
  45:     0x7fab927ca3f5 - <<std[590ec69203f6bd62]::thread::Builder>::spawn_unchecked_<rustc_interface[748212428c5afc91]::util::run_in_thread_pool_with_globals<rustc_interface[748212428c5afc91]::interface::run_compiler<core[82106fbad00a9fec]::result::Result<(), rustc_span[f7e3d02a9c43aa24]::ErrorGuaranteed>, rustc_driver_impl[3c7dc59cb046a4dd]::run_compiler::{closure#1}>::{closure#0}, core[82106fbad00a9fec]::result::Result<(), rustc_span[f7e3d02a9c43aa24]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[82106fbad00a9fec]::result::Result<(), rustc_span[f7e3d02a9c43aa24]::ErrorGuaranteed>>::{closure#1} as core[82106fbad00a9fec]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  46:     0x7fab941273d5 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h80ba6ed11f012e27
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/alloc/src/boxed.rs:2007:9
  47:     0x7fab941273d5 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h11cf951844702c6f
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/alloc/src/boxed.rs:2007:9
  48:     0x7fab941273d5 - std::sys::unix::thread::Thread::new::thread_start::h0b8dcfbdc24063c5
                               at /rustc/c57393e4f8b88444fbf0985a81a2d662862f2733/library/std/src/sys/unix/thread.rs:108:17
  49:     0x7fab8fa8c9eb - <unknown>
  50:     0x7fab8fb10ebc - <unknown>
  51:                0x0 - <unknown>

note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md

note: please attach the file at `/tmp/f/rustc-ice-2023-08-15T22:43:39.585183257Z-3846529.txt` to your bug report

note: compiler flags: --crate-type lib

query stack during panic:
#0 [mir_borrowck] borrow-checking `non_lifetime_binders`
#1 [analysis] running analysis passes on this crate
end of query stack
error: aborting due to previous error; 1 warning emitted

Activity

  1. matthiaskrgr
    added
    I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
    T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
    C-bugCategory: This is a bug.
    requires-nightlyThis issue requires a nightly compiler in some way. When possible, use a F-* label instead.
    F-non_lifetime_binders`#![feature(non_lifetime_binders)]`
    on Aug 15, 2023
  2. rustbot
    added
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Aug 15, 2023

  3. matthiaskrgr commented on Aug 15, 2023

    @matthiaskrgr
    matthiaskrgr
    on Aug 15, 2023
    MemberAuthor

    Regression in nightly-2023-02-18
    commit[0] 2023-02-16: Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgr
    commit[1] 2023-02-16: Auto merge of #107833 - Zoxc:arena-query-clean, r=cjgillot
    commit[2] 2023-02-17: Auto merge of #108145 - matthiaskrgr:rollup-bgadak1, r=matthiaskrgr
    commit[3] 2023-02-17: Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU
    commit[4] 2023-02-17: Auto merge of #108058 - Zoxc:query-ctxtx-byval, r=cjgillot
    commit[5] 2023-02-17: Auto merge of #107965 - BoxyUwU:add_const_arg_has_type_predicate, r=compiler-errors
    commit[6] 2023-02-17: Auto merge of #108159 - matthiaskrgr:rollup-5k2j7cx, r=matthiaskrgr
    commit[7] 2023-02-17: Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstrieb

  4. compiler-errors
    removed
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Aug 16, 2023
  5. compiler-errors
    self-assigned this
    on Aug 16, 2023

  6. compiler-errors commented on Aug 16, 2023

    @compiler-errors
    compiler-errors
    on Aug 16, 2023
    Contributor

    It's just the non-lifetime binders pr: #107489

  7. matthiaskrgr
    added a commit that references this issue on Aug 17, 2023

    Rollup merge of rust-lang#114876 - compiler-errors:non-lifetime-binde…

    084c87d
  8. bors
    closed this as completedin 084c87don Aug 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

C-bugCategory: This is a bug.F-non_lifetime_binders`#![feature(non_lifetime_binders)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.requires-nightlyThis issue requires a nightly compiler in some way. When possible, use a F-* label instead.

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions