Closed
Description
Leaving this issue as a reminder for https://github.com/rust-lang/rust/pull/66507/files#r347252249
It should be as simple as adding a check_place call to the SetDiscriminant
This issue has been assigned to @christianpoveda via this comment.