See the discussion and links in this recent post, e.g. the overview here. TL;DR -- changing the current behavior would make a lot of things unsound. Adding on some new (explicit) capability is a possibility as far as I'm aware.
1 Like