39 lines
672 B
Rust
39 lines
672 B
Rust
//@ build-pass
|
|
// Regression test for #56870: Internal compiler error (traits & associated consts)
|
|
|
|
use std::fmt::Debug;
|
|
|
|
pub trait Foo<T> {
|
|
const FOO: *const u8;
|
|
}
|
|
|
|
impl <T: Debug> Foo<T> for dyn Debug {
|
|
const FOO: *const u8 = <T as Debug>::fmt as *const u8;
|
|
}
|
|
|
|
pub trait Bar {
|
|
const BAR: *const u8;
|
|
}
|
|
|
|
pub trait Baz {
|
|
type Data: Debug;
|
|
}
|
|
|
|
pub struct BarStruct<S: Baz>(S);
|
|
|
|
impl<S: Baz> Bar for BarStruct<S> {
|
|
const BAR: *const u8 = <dyn Debug as Foo<<S as Baz>::Data>>::FOO;
|
|
}
|
|
|
|
struct AnotherStruct;
|
|
#[derive(Debug)]
|
|
struct SomeStruct;
|
|
|
|
impl Baz for AnotherStruct {
|
|
type Data = SomeStruct;
|
|
}
|
|
|
|
fn main() {
|
|
let _x = <BarStruct<AnotherStruct> as Bar>::BAR;
|
|
}
|