trait From { type Result; fn from(src: Src) -> Self::Result; } trait To { fn to( self ) -> >::Result where Dst: From { //~ ERROR the size for values of type From::from(self) } } fn main() {}