Thread:CaptainRustbolt21/@comment-26622708-20170508194100/@comment-31727837-20170511044441

... you clearly haven't entirly read my comment, didn't you...