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

Maybe. That sounds good enough. Let’s go with that.