我想我需要一个与Sized相反的特质。任何不是Sized的东西都应该有这个特性。我需要这样做是为了避免在我的代码中针对大小和非大小类型不同地专门化另一个trait时发生冲突的实现。在这种情况下使用?Sized是不起作用的，因为它会导致冲突的实现。
为此，我定义了一个auto-trait，然后在T: Sized的情况下对T进行了负impl。
我正在使用rust-nightly，在main.rs中打开了auto_traits和negative_impls功能：

#![feature(auto_traits)]
#![feature(negative_impls)]

由于某些原因，dyn Any没有实现Unsized，尽管也没有实现Sized。在自动实现中是否有一些隐含的Sized需求？理想情况下，我希望每个类型都扩展Sized或Unsized，没有重叠。

use std::any::Any;

use static_assertions::assert_impl_one;

pub auto trait Unsized {}

impl<T> !Unsized for T
where
    T: Sized
{
    
}

assert_not_impl_any!(dyn Any: Sized); // Succeeds! -> dyn Any is not Sized, as expected.
assert_impl_one!(dyn Any: Unsized); // Fails! -> dyn Any is not Unsized either??? It should be.

为什么trait Unsized没有被实现为明显不是Sized的东西？
删除否定实现会产生相同的Assert结果。dyn Any仍然不是Unsized。