Почему `std::mem::size_of::<Vec<[i32]>>()` не компилируется?

Учтите тот факт, что следующий код успешно компилируется и выполняется:

println!("{}", std::mem::size_of::<Vec<i32>>()); // 24
println!("{}", std::mem::size_of::<Vec<char>>()); // 24
println!("{}", std::mem::size_of::<Vec<&str>>()); // 24
println!("{}", std::mem::size_of::<Box<i32>>()); // 8
println!("{}", std::mem::size_of::<Box<char>>()); // 8
println!("{}", std::mem::size_of::<Box<[i32]>>()); // 16
println!("{}", std::mem::size_of::<&[i32]>()); // 16
println!("{}", std::mem::size_of::<*mut *const [i32]>()); // 8

Теперь рассмотрим следующий код:

println!("{}", std::mem::size_of::<[i32]>());

Это не удается скомпилировать из-за ошибки E0277, в которой сообщается, что размер [i32] неизвестен во время компиляции. Я определенно понимаю, почему это должно быть так, потому что [i32] — это срез i32 (т. е. «необработанный» срез в смысле, данном здесь [1], а не указатель на срез (например, &[i32]), размер которого известен во время компиляции ( то есть размер жирного указателя = 2 * size_of(usize))).

Но теперь рассмотрим следующий код:

println!("{}", std::mem::size_of::<Vec<[i32]>>());

Когда вы пытаетесь скомпилировать этот код, вы также получаете ошибку E0277, в которой сообщается, что размер [i32] неизвестен во время компиляции.

Почему это так? Рассмотрим еще раз эти строки сверху:

println!("{}", std::mem::size_of::<Vec<i32>>()); // 24
println!("{}", std::mem::size_of::<Vec<char>>()); // 24
println!("{}", std::mem::size_of::<Vec<&str>>()); // 24

Мы ясно видим, что размер Vec<T> не зависит от размера T, но всегда представляет собой размер структуры с 3 полями — указатель на данные (8), длина (8), емкость (8) — следовательно, 24.

Так почему же std::mem::size_of::<Vec<[i32]>>() просто не возвращает 24, а не компилируется?

Я знаю, что Vec<T> требует T для реализации Sized, и это непосредственная причина. Но, думаю, меня больше интересует более глубокая причина дизайнерского решения, согласно которому Vec<T> требует T для реализации Sized.

Спасибо!

[1] https://doc.rust-lang.org/reference/type-layout.html#slice-layout