It has not. The C Committee has taken two votes on this, and in each case, the committee has been equally divided. Without a consensus to change the standard, the status quo wins.
Sounds like you don't care for Annex K. What don't you like about it?
(1) runtime constraint handler callbacks are a terrible API.
(2) The additional boilerplate doesn't buy us anything — the user can still specify the wrong size.
(3) The Annex invents a feature out of whole cloth, rather than standardizing existing practices. There are no performant real-world implementations that anyone uses. Microsoft's similar functionality is non-standard.
Sounds like you don't care for Annex K. What don't you like about it?