Record impl args in the proof tree in new solver

The job x86_64-gnu-llvm-17 failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

```plain #16 exporting to docker image format #16 sending tarball 29.1s done #16 DONE 42.1s ##[endgroup] Setting extra environment values for docker: --env ENABLE_GCC_CODEGEN=1 --env GCC_EXEC_PREFIX=/usr/lib/gcc/ [CI_JOB_NAME=x86_64-gnu-llvm-17] --- sccache: Starting the server... ##[group]Configure the build configure: processing command line configure: configure: build.configure-args := ['--build=x86_64-unknown-linux-gnu', '--llvm-root=/usr/lib/llvm-17', '--enable-llvm-link-shared', '--set', 'rust.thin-lto-import-instr-limit=10', '--set', 'change-id=99999999', '--enable-verbose-configure', '--enable-sccache', '--disable-manage-submodules', '--enable-locked-deps', '--enable-cargo-native-static', '--set', 'rust.codegen-units-std=1', '--set', 'dist.compression-profile=balanced', '--dist-compression-formats=xz', '--disable-dist-src', '--release-channel=nightly', '--enable-debug-assertions', '--enable-overflow-checks', '--enable-llvm-assertions', '--set', 'rust.verify-llvm-ir', '--set', 'rust.codegen-backends=llvm,cranelift,gcc', '--set', 'llvm.static-libstdcpp', '--enable-new-symbol-mangling'] configure: target.x86_64-unknown-linux-gnu.llvm-config := /usr/lib/llvm-17/bin/llvm-config configure: llvm.link-shared := True configure: rust.thin-lto-import-instr-limit := 10 configure: change-id := 99999999 --- ---- [ui] tests/ui/async-await/send-bound-async-closure.rs#next stdout ---- error in revision `next`: test compilation failed although it shouldn't! status: exit status: 101 command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/async-await/send-bound-async-closure.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2" "--target=x86_64-unknown-linux-gnu" "--cfg" "next" "--check-cfg" "cfg(FALSE,current,next)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/async-await/send-bound-async-closure.next" "-A" "unused" "-A" "internal_features" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/async-await/send-bound-async-closure.next/auxiliary" "--edition=2021" "-Znext-solver" --- stderr ------------------------------- --- stderr ------------------------------- ##[error]error: internal compiler error: compiler/rustc_ty_utils/src/instance.rs:306:26: no built-in definition for `,)>>::call_mut` for non-fn type thread 'rustc' panicked at compiler/rustc_ty_utils/src/instance.rs:306:26: Box stack backtrace: 0: std::panicking::begin_panic:: 0: std::panicking::begin_panic:: 1: ::emit_producing_guarantee 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 4: rustc_middle::ty::context::tls::with_context_opt::::{closure#0}, !>::{closure#0}, !> 6: rustc_ty_utils::instance::resolve_instance 6: rustc_ty_utils::instance::resolve_instance [... omitted 2 frames ...] 8: ::is_recursive_terminator 9: rustc_mir_build::lints::check 10: rustc_mir_build::build::mir_build 11: rustc_mir_transform::mir_built 11: rustc_mir_transform::mir_built [... omitted 2 frames ...] 12: rustc_mir_build::check_unsafety::check_unsafety [... omitted 2 frames ...] 13: ::par_body_owners::::{closure#0} 14: ::run::<(), rustc_data_structures::sync::parallel::enabled::par_for_each_in<&rustc_span::def_id::LocalDefId, &[rustc_span::def_id::LocalDefId], ::par_body_owners::{closure#0}>::{closure#0}::{closure#1}::{closure#0}> 15: ::time::<(), rustc_interface::passes::run_required_analyses::{closure#1}> 16: rustc_interface::passes::analysis [... omitted 2 frames ...] 18: ::enter::, rustc_span::ErrorGuaranteed>> 19: >::set::, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>> 20: rustc_span::create_session_globals_then::, rustc_interface::util::run_in_thread_with_globals, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}> note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. 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 make sure that you have updated to the latest nightly note: rustc 1.80.0-nightly (8ad777fcb 2024-05-06) running on x86_64-unknown-linux-gnu note: compiler flags: -Z threads=1 -Z simulate-remapped-rust-src-base=/rustc/FAKE_PREFIX -Z translate-remapped-path-to-local-path=no -Z ignore-directory-in-diagnostics-source-blocks=/cargo -Z ignore-directory-in-diagnostics-source-blocks=/checkout/vendor -C codegen-units=1 -Z ui-testing -Z deduplicate-diagnostics=no -Z write-long-types-to-disk=no -C strip=debuginfo -C prefer-dynamic -C rpath -C debuginfo=0 -Z next-solver query stack during panic: query stack during panic: #0 [resolve_instance] resolving instance `,)>>::call_mut` #1 [mir_built] building MIR for `::poll` #2 [check_unsafety] unsafety-checking `::poll` end of query stack error: aborting due to 1 previous error ------------------------------------------ ---- [ui] tests/ui/closures/deduce-signature/supertrait-signature-inference-issue-23012.rs#next stdout ---- error in revision `next`: test compilation failed although it shouldn't! status: exit status: 101 command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/closures/deduce-signature/supertrait-signature-inference-issue-23012.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2" "--target=x86_64-unknown-linux-gnu" "--cfg" "next" "--check-cfg" "cfg(FALSE,current,next)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/closures/deduce-signature/supertrait-signature-inference-issue-23012.next" "-A" "unused" "-A" "internal_features" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/closures/deduce-signature/supertrait-signature-inference-issue-23012.next/auxiliary" "-Znext-solver" --- stderr ------------------------------- --- stderr ------------------------------- ##[error]error: internal compiler error: compiler/rustc_ty_utils/src/instance.rs:306:26: no built-in definition for `,)>>::call_once` for non-fn type thread 'rustc' panicked at compiler/rustc_ty_utils/src/instance.rs:306:26: Box stack backtrace: 0: std::panicking::begin_panic:: 0: std::panicking::begin_panic:: 1: ::emit_producing_guarantee 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 4: rustc_middle::ty::context::tls::with_context_opt::::{closure#0}, !>::{closure#0}, !> 6: rustc_ty_utils::instance::resolve_instance 6: rustc_ty_utils::instance::resolve_instance [... omitted 2 frames ...] 8: ::is_recursive_terminator 9: rustc_mir_build::lints::check 10: rustc_mir_build::build::mir_build 11: rustc_mir_transform::mir_built 11: rustc_mir_transform::mir_built [... omitted 2 frames ...] 12: rustc_mir_build::check_unsafety::check_unsafety [... omitted 2 frames ...] 13: ::par_body_owners::::{closure#0} 14: ::run::<(), rustc_data_structures::sync::parallel::enabled::par_for_each_in<&rustc_span::def_id::LocalDefId, &[rustc_span::def_id::LocalDefId], ::par_body_owners::{closure#0}>::{closure#0}::{closure#1}::{closure#0}> 15: ::time::<(), rustc_interface::passes::run_required_analyses::{closure#1}> 16: rustc_interface::passes::analysis [... omitted 2 frames ...] 18: ::enter::, rustc_span::ErrorGuaranteed>> 19: >::set::, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>> 20: rustc_span::create_session_globals_then::, rustc_interface::util::run_in_thread_with_globals, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}> note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. 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 make sure that you have updated to the latest nightly note: rustc 1.80.0-nightly (8ad777fcb 2024-05-06) running on x86_64-unknown-linux-gnu note: compiler flags: -Z threads=1 -Z simulate-remapped-rust-src-base=/rustc/FAKE_PREFIX -Z translate-remapped-path-to-local-path=no -Z ignore-directory-in-diagnostics-source-blocks=/cargo -Z ignore-directory-in-diagnostics-source-blocks=/checkout/vendor -C codegen-units=1 -Z ui-testing -Z deduplicate-diagnostics=no -Z write-long-types-to-disk=no -C strip=debuginfo -C prefer-dynamic -C rpath -C debuginfo=0 -Z next-solver query stack during panic: query stack during panic: #0 [resolve_instance] resolving instance `,)>>::call_once` #1 [mir_built] building MIR for `::receive` #2 [check_unsafety] unsafety-checking `::receive` end of query stack end of query stack ##[error]error: internal compiler error: compiler/rustc_ty_utils/src/instance.rs:306:26: no built-in definition for `,)>>::call_once` for non-fn type | = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` thread 'rustc' panicked at compiler/rustc_ty_utils/src/instance.rs:306:26: Box stack backtrace: 0: std::panicking::begin_panic:: 0: std::panicking::begin_panic:: 1: ::emit_producing_guarantee 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 4: rustc_middle::ty::context::tls::with_context_opt::::{closure#0}, !>::{closure#0}, !> 6: rustc_ty_utils::instance::resolve_instance 6: rustc_ty_utils::instance::resolve_instance [... omitted 2 frames ...] 8: ::is_recursive_terminator 9: rustc_mir_build::lints::check 10: rustc_mir_build::build::mir_build 11: rustc_mir_transform::mir_built 11: rustc_mir_transform::mir_built [... omitted 2 frames ...] 12: rustc_mir_build::check_unsafety::check_unsafety [... omitted 2 frames ...] 13: ::par_body_owners::::{closure#0} 14: ::run::<(), rustc_data_structures::sync::parallel::enabled::par_for_each_in<&rustc_span::def_id::LocalDefId, &[rustc_span::def_id::LocalDefId], ::par_body_owners::{closure#0}>::{closure#0}::{closure#1}::{closure#0}> 15: ::time::<(), rustc_interface::passes::run_required_analyses::{closure#1}> 16: rustc_interface::passes::analysis [... omitted 2 frames ...] 18: ::enter::, rustc_span::ErrorGuaranteed>> 19: >::set::, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>> 20: rustc_span::create_session_globals_then::, rustc_interface::util::run_in_thread_with_globals, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}> note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. 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 make sure that you have updated to the latest nightly note: rustc 1.80.0-nightly (8ad777fcb 2024-05-06) running on x86_64-unknown-linux-gnu note: compiler flags: -Z threads=1 -Z simulate-remapped-rust-src-base=/rustc/FAKE_PREFIX -Z translate-remapped-path-to-local-path=no -Z ignore-directory-in-diagnostics-source-blocks=/cargo -Z ignore-directory-in-diagnostics-source-blocks=/checkout/vendor -C codegen-units=1 -Z ui-testing -Z deduplicate-diagnostics=no -Z write-long-types-to-disk=no -C strip=debuginfo -C prefer-dynamic -C rpath -C debuginfo=0 -Z next-solver query stack during panic: query stack during panic: #0 [resolve_instance] resolving instance `,)>>::call_once` #1 [mir_built] building MIR for `::receive` #2 [check_unsafety] unsafety-checking `::receive` end of query stack error: aborting due to 2 previous errors ------------------------------------------ ---- [ui] tests/ui/traits/next-solver/builtin-fn-must-return-sized.rs stdout ---- error: Error: expected failure status (Some(1)) but received status Some(101). status: exit status: 101 command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/traits/next-solver/builtin-fn-must-return-sized.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2" "--target=x86_64-unknown-linux-gnu" "--check-cfg" "cfg(FALSE)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/traits/next-solver/builtin-fn-must-return-sized" "-A" "unused" "-A" "internal_features" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/traits/next-solver/builtin-fn-must-return-sized/auxiliary" "-Znext-solver" --- stderr ------------------------------- error[E0277]: the size for values of type `str` cannot be known at compilation time ##[error] --> /checkout/tests/ui/traits/next-solver/builtin-fn-must-return-sized.rs:15:11 | | LL | foo:: str, _>(None, ()); | | = help: within `fn() -> str`, the trait `Sized` is not implemented for `str`, which is required by `fn() -> str: Fn<_>` = note: required because it appears within the type `fn() -> str` note: required by a bound in `foo` | | LL | fn foo, T: Tuple>(f: Option, t: T) { | ^^^^^ required by this bound in `foo` ##[error]error: internal compiler error: compiler/rustc_ty_utils/src/instance.rs:306:26: no built-in definition for `>::call` for non-fn type thread 'rustc' panicked at compiler/rustc_ty_utils/src/instance.rs:306:26: Box stack backtrace: 0: std::panicking::begin_panic:: 0: std::panicking::begin_panic:: 1: ::emit_producing_guarantee 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 4: rustc_middle::ty::context::tls::with_context_opt::::{closure#0}, !>::{closure#0}, !> 6: rustc_ty_utils::instance::resolve_instance 6: rustc_ty_utils::instance::resolve_instance [... omitted 2 frames ...] 8: ::is_recursive_terminator 9: rustc_mir_build::lints::check 10: rustc_mir_build::build::mir_build 11: rustc_mir_transform::mir_built 11: rustc_mir_transform::mir_built [... omitted 2 frames ...] 12: rustc_mir_build::check_unsafety::check_unsafety [... omitted 2 frames ...] 13: ::par_body_owners::::{closure#0} 14: ::run::<(), rustc_data_structures::sync::parallel::enabled::par_for_each_in<&rustc_span::def_id::LocalDefId, &[rustc_span::def_id::LocalDefId], ::par_body_owners::{closure#0}>::{closure#0}::{closure#1}::{closure#0}> 15: ::time::<(), rustc_interface::passes::run_required_analyses::{closure#1}> 16: rustc_interface::passes::analysis [... omitted 2 frames ...] 18: ::enter::, rustc_span::ErrorGuaranteed>> 19: >::set::, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>> 20: rustc_span::create_session_globals_then::, rustc_interface::util::run_in_thread_with_globals, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}> note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. 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 make sure that you have updated to the latest nightly note: rustc 1.80.0-nightly (8ad777fcb 2024-05-06) running on x86_64-unknown-linux-gnu note: compiler flags: -Z threads=1 -Z simulate-remapped-rust-src-base=/rustc/FAKE_PREFIX -Z translate-remapped-path-to-local-path=no -Z ignore-directory-in-diagnostics-source-blocks=/cargo -Z ignore-directory-in-diagnostics-source-blocks=/checkout/vendor -C codegen-units=1 -Z ui-testing -Z deduplicate-diagnostics=no -Z write-long-types-to-disk=no -C strip=debuginfo -C prefer-dynamic -C rpath -C debuginfo=0 -Z next-solver query stack during panic: query stack during panic: #0 [resolve_instance] resolving instance `>::call` #1 [mir_built] building MIR for `foo` #2 [check_unsafety] unsafety-checking `foo` end of query stack error: aborting due to 2 previous errors For more information about this error, try `rustc --explain E0277`. For more information about this error, try `rustc --explain E0277`. ------------------------------------------ ---- [ui] tests/ui/traits/next-solver/closure-inference-guidance.rs stdout ---- error: test compilation failed although it shouldn't! status: exit status: 101 command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/traits/next-solver/closure-inference-guidance.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2" "--target=x86_64-unknown-linux-gnu" "--check-cfg" "cfg(FALSE)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/traits/next-solver/closure-inference-guidance" "-A" "unused" "-A" "internal_features" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/traits/next-solver/closure-inference-guidance/auxiliary" "-Znext-solver" --- stderr ------------------------------- --- stderr ------------------------------- ##[error]error: internal compiler error: compiler/rustc_ty_utils/src/instance.rs:306:26: no built-in definition for `>::call_once` for non-fn type thread 'rustc' panicked at compiler/rustc_ty_utils/src/instance.rs:306:26: Box stack backtrace: 0: std::panicking::begin_panic:: 0: std::panicking::begin_panic:: 1: ::emit_producing_guarantee 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 4: rustc_middle::ty::context::tls::with_context_opt::::{closure#0}, !>::{closure#0}, !> 6: rustc_ty_utils::instance::resolve_instance 6: rustc_ty_utils::instance::resolve_instance [... omitted 2 frames ...] 8: ::is_recursive_terminator 9: rustc_mir_build::lints::check 10: rustc_mir_build::build::mir_build 11: rustc_mir_transform::mir_built 11: rustc_mir_transform::mir_built [... omitted 2 frames ...] 12: rustc_mir_build::check_unsafety::check_unsafety [... omitted 2 frames ...] 13: ::par_body_owners::::{closure#0} 14: ::run::<(), rustc_data_structures::sync::parallel::enabled::par_for_each_in<&rustc_span::def_id::LocalDefId, &[rustc_span::def_id::LocalDefId], ::par_body_owners::{closure#0}>::{closure#0}::{closure#1}::{closure#0}> 15: ::time::<(), rustc_interface::passes::run_required_analyses::{closure#1}> 16: rustc_interface::passes::analysis [... omitted 2 frames ...] 18: ::enter::, rustc_span::ErrorGuaranteed>> 19: >::set::, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>> 20: rustc_span::create_session_globals_then::, rustc_interface::util::run_in_thread_with_globals, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}> note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. 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 make sure that you have updated to the latest nightly note: rustc 1.80.0-nightly (8ad777fcb 2024-05-06) running on x86_64-unknown-linux-gnu note: compiler flags: -Z threads=1 -Z simulate-remapped-rust-src-base=/rustc/FAKE_PREFIX -Z translate-remapped-path-to-local-path=no -Z ignore-directory-in-diagnostics-source-blocks=/cargo -Z ignore-directory-in-diagnostics-source-blocks=/checkout/vendor -C codegen-units=1 -Z ui-testing -Z deduplicate-diagnostics=no -Z write-long-types-to-disk=no -C strip=debuginfo -C prefer-dynamic -C rpath -C debuginfo=0 -Z next-solver query stack during panic: query stack during panic: #0 [resolve_instance] resolving instance `>::call_once` #1 [mir_built] building MIR for `apply` #2 [check_unsafety] unsafety-checking `apply` end of query stack error: aborting due to 1 previous error ------------------------------------------ ---- [ui] tests/ui/traits/next-solver/select-alias-bound-as-param.rs stdout ---- error: test compilation failed although it shouldn't! status: exit status: 101 command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/traits/next-solver/select-alias-bound-as-param.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2" "--target=x86_64-unknown-linux-gnu" "--check-cfg" "cfg(FALSE)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/traits/next-solver/select-alias-bound-as-param" "-A" "unused" "-A" "internal_features" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/traits/next-solver/select-alias-bound-as-param/auxiliary" "-Znext-solver" --- stderr ------------------------------- --- stderr ------------------------------- ##[error]error: internal compiler error: compiler/rustc_ty_utils/src/instance.rs:306:26: no built-in definition for `>::call_mut` for non-fn type thread 'rustc' panicked at compiler/rustc_ty_utils/src/instance.rs:306:26: Box stack backtrace: 0: std::panicking::begin_panic:: 0: std::panicking::begin_panic:: 1: ::emit_producing_guarantee 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 3: rustc_middle::ty::context::tls::with_opt::::{closure#0}, !>::{closure#0} 4: rustc_middle::ty::context::tls::with_context_opt::::{closure#0}, !>::{closure#0}, !> 6: rustc_ty_utils::instance::resolve_instance 6: rustc_ty_utils::instance::resolve_instance [... omitted 2 frames ...] 8: ::is_recursive_terminator 9: rustc_mir_build::lints::check 10: rustc_mir_build::build::mir_build 11: rustc_mir_transform::mir_built 11: rustc_mir_transform::mir_built [... omitted 2 frames ...] 12: rustc_mir_build::check_unsafety::check_unsafety [... omitted 2 frames ...] 13: ::par_body_owners::::{closure#0} 14: ::run::<(), rustc_data_structures::sync::parallel::enabled::par_for_each_in<&rustc_span::def_id::LocalDefId, &[rustc_span::def_id::LocalDefId], ::par_body_owners::{closure#0}>::{closure#0}::{closure#1}::{closure#0}> 15: ::time::<(), rustc_interface::passes::run_required_analyses::{closure#1}> 16: rustc_interface::passes::analysis [... omitted 2 frames ...] 18: ::enter::, rustc_span::ErrorGuaranteed>> 19: >::set::, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>> 20: rustc_span::create_session_globals_then::, rustc_interface::util::run_in_thread_with_globals, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}> note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. 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 make sure that you have updated to the latest nightly note: rustc 1.80.0-nightly (8ad777fcb 2024-05-06) running on x86_64-unknown-linux-gnu note: compiler flags: -Z threads=1 -Z simulate-remapped-rust-src-base=/rustc/FAKE_PREFIX -Z translate-remapped-path-to-local-path=no -Z ignore-directory-in-diagnostics-source-blocks=/cargo -Z ignore-directory-in-diagnostics-source-blocks=/checkout/vendor -C codegen-units=1 -Z ui-testing -Z deduplicate-diagnostics=no -Z write-long-types-to-disk=no -C strip=debuginfo -C prefer-dynamic -C rpath -C debuginfo=0 -Z next-solver query stack during panic: query stack during panic: #0 [resolve_instance] resolving instance `>::call_mut` #1 [mir_built] building MIR for `x` #2 [check_unsafety] unsafety-checking `x` end of query stack error: aborting due to 1 previous error ------------------------------------------ ```

rust-lang / rust

Record impl args in the proof tree in new solver #124759