Thread:CaptainRustbolt21/@comment-30790899-20170605084712/@comment-31727837-20170619004225

Done. here.