You kind of propose that "const int" to be a completely different type
depending on initialiser. It is horrible.

I have not said that. I've asserted that const member with an initializer, when inside a struct, is ALWAYS a bug.

I agree that we need to get rid of the existing behaviour. But I argue it should simply be an error, rather than replacing it with a misfeature.