test for #50518
It was fixed somewhere between 1.28.0 and 1.31.1 closes #50518
This commit is contained in:
parent
c3b8ab5199
commit
c87d2ccf88
1 changed files with 40 additions and 0 deletions
40
src/test/ui/issues/issue-50518.rs
Normal file
40
src/test/ui/issues/issue-50518.rs
Normal file
|
@ -0,0 +1,40 @@
|
|||
// compile-pass
|
||||
use std::marker::PhantomData;
|
||||
|
||||
struct Meta<A> {
|
||||
value: i32,
|
||||
type_: PhantomData<A>
|
||||
}
|
||||
|
||||
trait MetaTrait {
|
||||
fn get_value(&self) -> i32;
|
||||
}
|
||||
|
||||
impl<A> MetaTrait for Meta<A> {
|
||||
fn get_value(&self) -> i32 { self.value }
|
||||
}
|
||||
|
||||
trait Bar {
|
||||
fn get_const(&self) -> &dyn MetaTrait;
|
||||
}
|
||||
|
||||
struct Foo<A> {
|
||||
_value: A
|
||||
}
|
||||
|
||||
impl<A: 'static> Foo<A> {
|
||||
const CONST: &'static dyn MetaTrait = &Meta::<Self> {
|
||||
value: 10,
|
||||
type_: PhantomData
|
||||
};
|
||||
}
|
||||
|
||||
impl<A: 'static> Bar for Foo<A> {
|
||||
fn get_const(&self) -> &dyn MetaTrait { Self::CONST }
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let foo = Foo::<i32> { _value: 10 };
|
||||
let bar: &dyn Bar = &foo;
|
||||
println!("const {}", bar.get_const().get_value());
|
||||
}
|
Loading…
Add table
Add a link
Reference in a new issue