DS
Size: a a a
DS
KR
p
DS
KR
AZ
KR
AZ
В
В
todo!() плохо, он трейты не имплементирует заразаAZ
AZ
AZ
AZ
foo : Intу ?impl тип Int, а не !
foo = ?impl
AZ
foo : Intто будет тип
foo = ?impl 10 20
Int -> Int -> IntВ
p
foo : Intто будет тип
foo = ?impl 10 20
Int -> Int -> IntВ
! не совсем подтип, но не сутьВ
fn hole<T>() -> T { todo!() }?AZ
! не совсем подтип, но не суть