@oli @RalfJ I didn’t find a miri stream on this zulip, where’s a good place to ask questions about an error / possible UB when running
cargo miri test on my code?
(Maybe we should create a stream?)
people often do that on the UCG stream
(can’t link as I’m on a phone) named like t-lang/wg-unsafe-code-guidelines
yeah, UCG makes sense if it's a "possible UB" question
that being said, with the new miri subteam, a stream could make sense as well