Finley McIlwaine authored Oct 05, 2022 and Marge Bot committed Oct 13, 2022

When a newtype introduces GADT eq_specs due to a defaulted
RuntimeRep, we detect this and print the error message with
explicit kinds.

This also refactors newtype type checking to use the new
diagnostic infra.

Fixes #21447