ICE: error performing ParamEnvAnd { ... } possibly related to (lack of) HRTBs in closures

@kvverti

Credits to @kvverti for finding the following ICE while experimenting with some of my code that was producing HRTB-related errors.

Code

#![allow(warnings)]

trait Foo {}

impl<F> Foo for F where F: FnMut(&()) {}

struct Bar<F> {
    f: F,
}

impl<F> Foo for Bar<F> where F: Foo {}

fn assert_foo<F>(_: F)
where
    Bar<F>: Foo,
{
}

fn main() {
    assert_foo(|_| ());
}

Error output

Command: cargo build

note: no errors encountered even though `span_delayed_bug` issued

note: those delayed bugs will now be shown as internal compiler errors

error: internal compiler error: error performing ParamEnvAnd { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, value: ProvePredicate { predicate: Binder { value: TraitPredicate(<Bar<{closure@src\main.rs:20:16: 20:19}> as Foo>, polarity:Positive), bound_vars: [] } } }
  --> src\main.rs:20:5
   |
20 |     assert_foo(|_| ());
   |     ^^^^^^^^^^^^^^^^^^
   |
note: delayed at /rustc/25ef9e3d85d934b27d9dada2f9dd52b1dc63bb04\compiler\rustc_trait_selection\src\traits\query\type_op\mod.rs:164:29 - disabled backtrace    
  --> src\main.rs:20:5
   |
20 |     assert_foo(|_| ());
   |     ^^^^^^^^^^^^^^^^^^

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: rustc 1.77.2 (25ef9e3d8 2024-04-09) running on x86_64-pc-windows-msvc

note: compiler flags: --crate-type bin -C embed-bitcode=no -C debuginfo=2 -C incremental=[REDACTED]

note: some of the compiler flags provided by cargo are hidden

query stack during panic:
end of query stack
error: could not compile `rustc-ice-mre` (bin "rustc-ice-mre")

Backtrace

note: no errors encountered even though `span_delayed_bug` issued

note: those delayed bugs will now be shown as internal compiler errors

error: internal compiler error: error performing ParamEnvAnd { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, value: ProvePredicate { predicate: Binder { value: TraitPredicate(<Bar<{closure@src\main.rs:20:16: 20:19}> as Foo>, polarity:Positive), bound_vars: [] } } }
  --> src\main.rs:20:5
   |
20 |     assert_foo(|_| ());
   |     ^^^^^^^^^^^^^^^^^^
   |
note: delayed at /rustc/25ef9e3d85d934b27d9dada2f9dd52b1dc63bb04\compiler\rustc_trait_selection\src\traits\query\type_op\mod.rs:164:29
         0: std::backtrace::Backtrace::force_capture
         1: std::backtrace::Backtrace::capture
         2: <rustc_errors::DiagCtxt>::flush_delayed
         3: <rustc_errors::DiagCtxt>::emit_diagnostic
         4: <rustc_errors::diagnostic::Diagnostic as core::cmp::PartialEq>::eq
         5: <rustc_borrowck::type_check::liveness::local_use_map::LocalUseMapBuild as rustc_middle::mir::visit::Visitor>::visit_local
         6: <rustc_borrowck::type_check::TypeVerifier as rustc_middle::mir::visit::Visitor>::visit_body
         7: <rustc_borrowck::type_check::TypeVerifier as rustc_middle::mir::visit::Visitor>::visit_constant
         8: <rustc_borrowck::type_check::TypeVerifier as rustc_middle::mir::visit::Visitor>::visit_body
         9: <rustc_borrowck::type_check::relate_tys::NllTypeRelatingDelegate as rustc_infer::infer::relate::nll::TypeRelatingDelegate>::push_outlives
        10: <rustc_borrowck::member_constraints::MemberConstraintSet<rustc_middle::ty::sty::RegionVid> as core::default::Default>::default
        11: <rustc_borrowck::MirBorrowckCtxt>::consume_operand
        12: rustc_borrowck::mir_borrowck
        13: <rustc_query_impl::plumbing::QueryCtxt as rustc_query_system::query::QueryContext>::load_side_effects
        14: rustc_query_impl::query_callbacks
        15: <rustc_query_impl::plumbing::QueryCtxt as rustc_query_system::query::QueryContext>::load_side_effects
        16: <rustc_query_impl::plumbing::QueryCtxt as rustc_query_system::query::QueryContext>::load_side_effects
        17: rustc_interface::proc_macro_decls::proc_macro_decls_static
        18: <time::date_time::DateTime<time::date_time::offset_kind::Fixed> as core::convert::From<std::time::SystemTime>>::from
        19: rustc_interface::passes::analysis
        20: rustc_query_impl::profiling_support::alloc_self_profile_query_strings
        21: rustc_query_impl::profiling_support::alloc_self_profile_query_strings
        22: rustc_query_impl::profiling_support::alloc_self_profile_query_strings
        23: rustc_query_impl::profiling_support::alloc_self_profile_query_strings
        24: rustc_query_impl::profiling_support::alloc_self_profile_query_strings
        25: rustc_driver_impl::args::arg_expand_all
        26: rustc_driver_impl::args::arg_expand_all
        27: <rustc_middle::ty::SymbolName as core::fmt::Debug>::fmt
        28: <rustc_middle::ty::SymbolName as core::fmt::Debug>::fmt
        29: <rustc_middle::ty::SymbolName as core::fmt::Debug>::fmt
        30: std::sys::pal::windows::thread::Thread::new
        31: BaseThreadInitThunk
        32: RtlUserThreadStart
  --> src\main.rs:20:5
   |
20 |     assert_foo(|_| ());
   |     ^^^^^^^^^^^^^^^^^^

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: rustc 1.77.2 (25ef9e3d8 2024-04-09) running on x86_64-pc-windows-msvc

note: compiler flags: --crate-type bin -C embed-bitcode=no -C debuginfo=2 -C incremental=[REDACTED]

note: some of the compiler flags provided by cargo are hidden

query stack during panic:
end of query stack
error: could not compile `rustc-ice-mre` (bin "rustc-ice-mre")

Notes

The code compiles successfully if the closure is explicitly typed like so:

assert_foo(|_: &()| ()); // OK

Or if an identify function is used like so:

fn id<F: FnMut(&())>(f: F) -> F { f }

assert_foo(id(|_| ())); // OK

My original code produces an error (not ICE) that seems to be a diagnostics bug, complaining about trait bounds not being satisfied when it should really state something along the lines of implementation of FnMut is not general enough.
An MRE is provided below.

Original code and error

trait Foo {}

impl<F> Foo for F where F: FnMut(&()) {}

struct Bar<F> {
    f: F,
}

impl<F> Foo for Bar<F> where F: Foo {}

fn main() -> impl Foo {
    Bar { f: (|a| ()) }
}

error[E0277]: the trait bound `Bar<{closure@src\main.rs:12:15: 12:18}>: Foo` is not satisfied
  --> src\main.rs:11:14
   |
11 | fn main() -> impl Foo {
   |              ^^^^^^^^ the trait `Foo` is not implemented for `Bar<{closure@src\main.rs:12:15: 12:18}>`
   |
   = help: the trait `Foo` is implemented for `Bar<{closure@src\main.rs:12:15: 12:18}>`

error[E0277]: `main` has invalid return type `impl Foo`
  --> src\main.rs:11:14
   |
11 | fn main() -> impl Foo {
   |              ^^^^^^^^ `main` can only return types that implement `Termination`
   |
   = help: consider using `()`, or a `Result`

For more information about this error, try `rustc --explain E0277`.
error: could not compile `rustc-ice-mre` (bin "rustc-ice-mre") due to 2 previous errors

The next-gen trait solver currently fails with:

error[E0277]: the trait bound `Bar<{closure@qq.rs:22:16: 22:19}>: Foo` is not satisfied
  --> qq.rs:22:16
   |
22 |     assert_foo(|_| ());
   |     ---------- ^^^^^^ the trait `Foo` is not implemented for `Bar<{closure@qq.rs:22:16: 22:19}>`
   |     |
   |     required by a bound introduced by this call
   |
   = help: the trait `Foo` is implemented for `Bar<F>`
note: required by a bound in `assert_foo`
  --> qq.rs:17:13
   |
15 | fn assert_foo<F>(_: F)
   |    ---------- required by a bound in this function
16 | where
17 |     Bar<F>: Foo,
   |             ^^^ required by this bound in `assert_foo`

Meaning it doesn't ICE.

Rollup merge of rust-lang#163796 - lcnr:crashes-migration, r=lqd

Unrolled build for #163796 in rollup 163829

Rollup merge of rust-lang#163806 - lcnr:crashes-migration-cont, r=lqd

Unrolled build for #163806 in rollup 163957

Navigation Menu

Repository navigation

ICE: `error performing ParamEnvAnd { ... }` possibly related to (lack of) HRTBs in closures #124440

Code

Meta

Error output

Notes

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

ICE: error performing ParamEnvAnd { ... } possibly related to (lack of) HRTBs in closures #124440

Description

Code

Meta

Error output

Notes

Activity

Infectious-Smile commented on Apr 27, 2024

fmease commented on Sep 24, 2024

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

ICE: `error performing ParamEnvAnd { ... }` possibly related to (lack of) HRTBs in closures #124440