Unrevert (vert?) "Add on_unimplemented Diagnostics to Most Public Traits" (#13414)

# Objective

- #13347 was good actually

## Solution

- Add it back to main (once #13366 is merged)

---------

Co-authored-by: Alice Cecile <alice.i.cecil@gmail.com>

Author: alice-i-cecile