See the new Note [Dead code may contain type confusions].
Note [Dead code may contain type confusions]
Fixes #23862 (closed).