Until some backwards-compatibility hazards are fixed in #23121, these need to be unstable. [breaking-change]
as[_mut]_slice()
code. Previously we were creating a subtyping relation in the wrong direction. We now just unify types, which is stronger than necessary but turns out fine. Fixes #19552. Fixes #19997.