After some discussion in the lang subteam mtg yesterday, the consensus was that we should adopt the most conservative strategy to start, leaving room for later changes. One advantage of this is that adding this feature may cause compilation errors in the wild (though I think crater runs showed no such errors in crates.io, at least at that time) but will not trigger silent changes to behavior.