type X = <A as B>::Output;
fn foo() { <usize as Default>::default(); }