blob: 137a0ede0b33c8ea2d41403fe1919c881d3fe0c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
// 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;
}
|
