mirror of
https://github.com/rust-lang/rust.git
synced 2025-04-16 05:56:56 +00:00
19 lines
225 B
Rust
19 lines
225 B
Rust
//@ known-bug: #137813
|
|
trait AssocConst {
|
|
const A: u8;
|
|
}
|
|
|
|
impl<T> AssocConst for (T,) {
|
|
const A: u8 = 0;
|
|
}
|
|
|
|
trait Trait {}
|
|
|
|
impl<U> Trait for () where (U,): AssocConst<A = { 0 }> {}
|
|
|
|
fn foo()
|
|
where
|
|
(): Trait,
|
|
{
|
|
}
|