impl Type {}
impl Trait1 for T {}
impl impl NotType {}
impl Trait2 for impl NotType {}