• 0 Posts
  • 3 Comments
Joined 8 months ago
cake
Cake day: July 26th, 2024

help-circle
  • It’s certainly possible.

    An type system can’t be both sound and cover all cases. Rust had made certain trade offs, and some weird edge cases regarding generic lifetimes still cause UB.

    If you compile to rust you’ll be forced to inherit all the decisions Rust had made over the years, and won’t be able to tune then to your use case. That may it may not be a problem for you.