trait X {
    const Y: i32;
}

trait Z {
    fn a() -> i32;
}

struct B<T> {
    t: std::marker::PhantomData<T>
}

impl<T: X> Z for B<T> {
    fn a() -> i32 {
        const C: i32 = T::Y;

        C
    }
}