Thread:CaptainRustbolt21/@comment-8138569-20171223170808/@comment-31727837-20171223175810

I'm fairly certain that IS a warning.