// check-pass #![allow(dead_code)] trait Resources { type Buffer: Copy; } #[derive(Copy, Clone)] struct ConstantBufferSet( pub R::Buffer ); #[derive(Copy, Clone)] enum It {} impl Resources for It { type Buffer = u8; } #[derive(Copy, Clone)] enum Command { BindConstantBuffers(ConstantBufferSet) } fn main() {}