Closed
Description
auto-reduced (treereduce-rust):
#[const_trait]
trait Trait {
type Assoc: const Trait;
}
original:
#![feature(const_trait_impl)]
#[const_trait]
trait Trait {
type Assoc: const Trait;
fn func() -> i32;
}
const fn unqualified<T: ~const Trait>() -> i32 {
T::Assoc::func()
}
const fn qualified<T: ~const Trait>() -> i32 {
<T as Trait>::Assoc::func()
}
fn main() {}
Version information
rustc 1.85.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.85.0-dev
LLVM version: 19.1.4
Possibly related line of code:
rust/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
Lines 694 to 706 in dff3e7c
@rustbot label +F-const_trait_impl
Metadata
Metadata
Assignees
Labels
Category: This is a bug.`#![feature(const_trait_impl)]`Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Project group: Const traitsStatus: A Minimal Complete and Verifiable Example has been found for this issueRelevant to the compiler team, which will review and decide on the PR/issue.This issue requires a build of rustc or tooling with debug-assertions in some way