]>
Commit | Line | Data |
---|---|---|
1a4d82fc JJ |
1 | trait From<Src> { |
2 | type Result; | |
3 | ||
4 | fn from(src: Src) -> Self::Result; | |
223e47cc LB |
5 | } |
6 | ||
1a4d82fc | 7 | trait To { |
74b04a01 | 8 | fn to<Dst>( |
9cc50fc6 | 9 | self |
74b04a01 | 10 | ) -> <Dst as From<Self>>::Result where Dst: From<Self> { //~ ERROR the size for values of type |
9cc50fc6 | 11 | From::from(self) |
223e47cc | 12 | } |
223e47cc LB |
13 | } |
14 | ||
15 | fn main() {} |