Idea: Automatic marker traits for repr(C) and friends

language design
2

I would like this.

I suggested something related but different in Automatic marker trait for unconditionally valid `#repr(C)` types, but I didn’t get much feedback, so I suppose not many people are invested in this kind of safety crutches.