mirror of https://github.com/rust-lang/rust.git
23 lines
465 B
Rust
23 lines
465 B
Rust
// Regression test for <https://github.com/rust-lang/rust/issues/133526>.
|
|
|
|
// Ensures we don't ICE when we encounter a `HostEffectPredicate` when computing
|
|
// the "item super predicates" for `Assoc`.
|
|
|
|
//@ compile-flags: -Znext-solver
|
|
//@ check-pass
|
|
|
|
#![feature(const_trait_impl)]
|
|
|
|
#[const_trait]
|
|
trait Trait {
|
|
type Assoc: const Trait;
|
|
}
|
|
|
|
const fn needs_trait<T: ~const Trait>() {}
|
|
|
|
fn test<T: Trait>() {
|
|
const { needs_trait::<T::Assoc>() };
|
|
}
|
|
|
|
fn main() {}
|