ICE: rustdoc: Cannot turn `UnevaluatedConst` into `AliasTy`

[matthiaskrgr]

Code

./assoc-const-AnonConst-ice-108220.rs

// ICE assertion failed: matches!(self.def_kind(ct.def.did), DefKind :: AnonConst)
// issue: rust-lang/rust#108220
//@ check-pass

#![feature(associated_const_equality)]
#![allow(unused)]

use std::marker::PhantomData;

pub struct NoPin;

pub trait SetAlternate<const A: u8> {}

impl SetAlternate<0> for NoPin {}

pub trait PinA<PER> {
    const A: u8;
}

impl<PER> PinA<PER> for NoPin {
    const A: u8 = 0;
}

pub trait Pins<USART> {}

impl<USART, T, const TA: u8> Pins<USART> for T where
    T: PinA<USART, A = { TA }> + SetAlternate<TA>
{
}

struct Serial<USART>(PhantomData<USART>);

impl<USART> Serial<USART> where NoPin: Pins<USART> {}

fn main() {}

Meta

rustc --version --verbose:

rustdoc 1.80.0-nightly (ac385a5af 2024-05-14)
binary: rustdoc
commit-hash: ac385a5af6d9fa8399a0cec799833cd28324abf8
commit-date: 2024-05-14
host: x86_64-unknown-linux-gnu
release: 1.80.0-nightly
LLVM version: 18.1.4

Error output

<output>

Backtrace

``` thread 'rustc' panicked at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/compiler/rustc_type_ir/src/predicate.rs:423:17: Cannot turn `UnevaluatedConst` into `AliasTy` stack backtrace: 0: 0x7e7ccb8cee55 - std::backtrace_rs::backtrace::libunwind::trace::h6c02ec5c4ae7a9ed at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 1: 0x7e7ccb8cee55 - std::backtrace_rs::backtrace::trace_unsynchronized::h4ab52472f673050f at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 2: 0x7e7ccb8cee55 - std::sys_common::backtrace::_print_fmt::hff16c7bf77867f2f at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/sys_common/backtrace.rs:68:5 3: 0x7e7ccb8cee55 - ::fmt::hf5bbd517a78a72c1 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/sys_common/backtrace.rs:44:22 4: 0x7e7ccb91e16b - core::fmt::rt::Argument::fmt::ha0d61d125018a3d4 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/core/src/fmt/rt.rs:165:63 5: 0x7e7ccb91e16b - core::fmt::write::hf8439f8783418e34 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/core/src/fmt/mod.rs:1169:21 6: 0x7e7ccb8c3bef - std::io::Write::write_fmt::he6d30e3ac2c7ace1 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/io/mod.rs:1835:15 7: 0x7e7ccb8cec2e - std::sys_common::backtrace::_print::hd550958f6da5ce7b at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/sys_common/backtrace.rs:47:5 8: 0x7e7ccb8cec2e - std::sys_common::backtrace::print::h3192740e18906f86 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/sys_common/backtrace.rs:34:9 9: 0x7e7ccb8d1649 - std::panicking::default_hook::{{closure}}::h4f96f38856da0e16 10: 0x7e7ccb8d138d - std::panicking::default_hook::h7f7426c72bba8a0b at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/panicking.rs:298:9 11: 0x7e7cc82f5190 - std[e4675fff21ee421e]::panicking::update_hook::>::{closure#0} 12: 0x7e7ccb8d1d7b - as core::ops::function::Fn>::call::h81ec2c7a19da648a at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/alloc/src/boxed.rs:2036:9 13: 0x7e7ccb8d1d7b - std::panicking::rust_panic_with_hook::h76250522ff801f27 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/panicking.rs:799:13 14: 0x7e7ccb8d1abb - std::panicking::begin_panic_handler::{{closure}}::h4289dee68346bd43 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/panicking.rs:656:13 15: 0x7e7ccb8cf319 - std::sys_common::backtrace::__rust_end_short_backtrace::h92c3fe583cbe7556 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/sys_common/backtrace.rs:171:18 16: 0x7e7ccb8d1827 - rust_begin_unwind at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/panicking.rs:652:5 17: 0x7e7ccb91a733 - core::panicking::panic_fmt::hfa1fc4323659306b at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/core/src/panicking.rs:72:14 18: 0x5b2909fd8479 - rustdoc[630b247c81594cca]::clean::clean_predicate 19: 0x5b2909fde5d6 - rustdoc[630b247c81594cca]::clean::clean_ty_generics 20: 0x5b2909fd0db0 - rustdoc[630b247c81594cca]::clean::utils::synthesize_auto_trait_and_blanket_impls 21: 0x5b290a0e7a45 - ::visit_item 22: 0x5b290a0e7d7a - ::visit_item 23: 0x5b290a0e4595 - rustdoc[630b247c81594cca]::passes::collect_trait_impls::collect_trait_impls 24: 0x5b2909ffefdb - rustdoc[630b247c81594cca]::core::run_global_ctxt 25: 0x5b2909f0865f - ::enter::>::{closure#1} 26: 0x5b2909f11d14 - rustc_interface[cc0a2947afbb22f6]::interface::run_compiler::, rustdoc[630b247c81594cca]::main_args::{closure#1}>::{closure#1} 27: 0x5b2909edafa5 - std[e4675fff21ee421e]::sys_common::backtrace::__rust_begin_short_backtrace::, rustdoc[630b247c81594cca]::main_args::{closure#1}>::{closure#1}, core[4a6535c84022c4d6]::result::Result<(), rustc_span[b9d313aa7d2576bf]::ErrorGuaranteed>>::{closure#0}, core[4a6535c84022c4d6]::result::Result<(), rustc_span[b9d313aa7d2576bf]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[4a6535c84022c4d6]::result::Result<(), rustc_span[b9d313aa7d2576bf]::ErrorGuaranteed>> 28: 0x5b2909f1b2f7 - <::spawn_unchecked_, rustdoc[630b247c81594cca]::main_args::{closure#1}>::{closure#1}, core[4a6535c84022c4d6]::result::Result<(), rustc_span[b9d313aa7d2576bf]::ErrorGuaranteed>>::{closure#0}, core[4a6535c84022c4d6]::result::Result<(), rustc_span[b9d313aa7d2576bf]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[4a6535c84022c4d6]::result::Result<(), rustc_span[b9d313aa7d2576bf]::ErrorGuaranteed>>::{closure#2} as core[4a6535c84022c4d6]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} 29: 0x7e7ccb8dbc1b - as core::ops::function::FnOnce>::call_once::h38e55a1b3abff37e at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/alloc/src/boxed.rs:2022:9 30: 0x7e7ccb8dbc1b - as core::ops::function::FnOnce>::call_once::hf28251f74a31db80 at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/alloc/src/boxed.rs:2022:9 31: 0x7e7ccb8dbc1b - std::sys::pal::unix::thread::Thread::new::thread_start::h9d29366f20710f1d at /rustc/ac385a5af6d9fa8399a0cec799833cd28324abf8/library/std/src/sys/pal/unix/thread.rs:108:17 32: 0x7e7cc50a955a - 33: 0x7e7cc5126a3c - 34: 0x0 - error: the compiler unexpectedly panicked. this is a bug. note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-rustdoc&template=ice.md note: please make sure that you have updated to the latest nightly note: please attach the file at `/tmp/im/rustc-ice-2024-05-14T18_19_16-550708.txt` to your bug report query stack during panic: end of query stack ```

[compiler-errors]

125092