LWG-3470 *`convertible-to-non-slicing`* seems to reject valid case This was voted into the Working Paper in October 2021, see #2236.