A rustc soundness bug in the wild

Hello! I've always wanted to create a blog talking about programming things and my projects, and this is my first post! I don't have any writing experience so any feedback is appreciated!