Thread:CaptainRustbolt21/@comment-24953498-20170714160552/@comment-31727837-20170714183806

Oh wait. I get it now. Yes, you can get rid of it