16 lines
365 B
Rust
16 lines
365 B
Rust
//@ known-bug: #119924
|
|
//@ compile-flags: -Znext-solver
|
|
#![feature(const_trait_impl, effects)]
|
|
|
|
struct S;
|
|
#[const_trait]
|
|
trait Trait<const N: u32> {}
|
|
|
|
const fn f<T: Trait<{
|
|
struct I<U: ~const Trait<0>>(U); // should've gotten rejected during AST validation
|
|
//~^ ICE no host param id for call in const yet no errors reported
|
|
0
|
|
}>>() {}
|
|
|
|
pub fn main() {}
|