pub struct W(T); pub type Wrapper = W; pub trait Trait { type T; }