我有两个性状,性状A是性状B的亚性状:
pub trait A {...}
pub trait B {...} //A+some methods
除了u8之外的所有东西的自画像:
pub auto trait IsNotU8 {}
impl !IsNotU8 for u8 {}
A在u8中的实现:
impl A for Vec<u8> {...}
因为对于实现A的所有类型,B中的所有其他方法都不执行任何操作,所以我对实现A的所有类型都不实现B:
impl<K: A> B for K {...} //already implemented here
对于Vec:
impl