Rollup merge of #63473 - adrian-budau:master, r=Centril
Regression test for #56870 Closes #56870.
This commit is contained in:
commit
58ac2b2b6b
1 changed files with 38 additions and 0 deletions
38
src/test/ui/issues/issue-56870.rs
Normal file
38
src/test/ui/issues/issue-56870.rs
Normal file
|
@ -0,0 +1,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;
|
||||||
|
}
|
Loading…
Reference in a new issue