Thread:CaptainRustbolt21/@comment-30790899-20170706090551/@comment-31727837-20170930180201

No, I haven't. I'll go see.