With some combinations of traits and the Never type, the CBMC-time sanity check assert fails because you cannot take an object size of void.

Breaking this into its own PR to land since it's coming up outside of drop work.