I'd like to read more about those soundness issues - do you have a link?
Re:Why is Rust difficult?
by steveklabnik on Monday January 22, 2018 @10:42AM
(#16205175)
see https://github.com/Xudong-Huang/may/issues/6 as one example
libfringe is another extremely interesting player in this space.