Magic type `super !` that implements every trait

I believe there is another ongoing discussion on the same topic in Should we have another non-type never?