diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-50518.rs | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-50518.rs b/src/test/ui/issues/issue-50518.rs new file mode 100644 index 000000000..1e7b77949 --- /dev/null +++ b/src/test/ui/issues/issue-50518.rs @@ -0,0 +1,40 @@ +// check-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()); +} |