I learnt this from various AI. They all told me stuff like the following:

• The goal of the Rust "Types Team" is to achieve Formal Soundness.
• Rust is approaching formal sound, though it's not there yet.

Yet I can't really get any search results from Google.
Is AI hallucinating? Or does it know some insider information I can't find?

I am asking the question because it's really important to understand the expectations we can set for type safety and borrow check security.

Will known exploition in cve-rs be finally fixed?
Is a-mir-formality a goal that is currently being pursued?

I would appreciate some insights from the types team.

13 posts - 6 participants

Read full topic