Because when T is !Sized, the layout is different, it looks more like the layout of &[T].
T
!Sized
&[T]
This is outdatded. Mutexes don't allocate anymore. That's how Mutex::new can be const.
Mutex::new
Because when
Tis!Sized, the layout is different, it looks more like the layout of&[T].