pub trait TraitB {
type Item;
}
pub trait TraitA<A> {
type Type;
fn bar<T>(_: T) -> Self;
fn baz<T>(_: T) -> Self
where
T: TraitB,
<T as TraitB>::Item: Copy;
const A: usize;