trait Z = T; trait Z = T where U: Copy; trait Z = where Self: T;