Add ui test for projection used as union field type

This commit is contained in:
Guillaume Gomez 2023-01-16 15:19:18 +01:00
parent 921efd2e67
commit 4653bbfaee

View File

@ -0,0 +1,19 @@
// Ensures that we can use projections as union field's type.
// check-pass
#![crate_type = "lib"]
pub trait Identity {
type Identity;
}
impl<T> Identity for T {
type Identity = Self;
}
pub type Foo = u8;
pub union Bar {
pub a: <Foo as Identity>::Identity,
pub b: u8,
}