Implementing `widen` isn't a requirement any more, since #26022.
mentioned in commit 4fe24a21
mentioned in commit 4c692008