Thread:CaptainRustbolt21/@comment-30790899-20170706090551/@comment-30790899-20170930174520

What is that?