Exactly what do each of the stability attributes mean?
I think #[stable] should mean "no change to this will break source compatability with safe code" and #[frozen] should mean "this type will not change in any way to break source or binary compatability with safe or unsafe code". This includes size and representation.