project-safe-transmute VS Rudra

Project "safe transmute"

In this case a simple From implementation or anything like that won't be different, even performance wise. For more complex cases there's project-safe-transmute, but that will still require you to annotate your structs in such a way that their layouts will be guaranteed to be compatible, which you're not currently doing.

You might also be interested in the project safe transmute, which might bring safe transmutes like these to stdlib in the future.

That's probably a job for the safe transmute project

One of the biggest notable examples is unsafe transmutes that could be safe. In fact there's a safe transmute working group trying to cover these cases. Just to give an example, if you have a #[repr(transparent)] newtype, it could be possible to safely transmute from a reference of an inner type to the type it wraps (for e.g. 1-tuple or 1-field structs), but doing that now presently requires unsafe.

Jokes aside, there is actually a work on going for making a subset of transmutes safe: https://github.com/rust-lang/project-safe-transmute

If you’re writing unsafe Rust, you might consider cargo miri and Rudra as additional static analyzers which can find bugs rustc won’t

In my opinion, much of Rust-specific PhD research likely to be publishable and/or high impact either falls into verification (e.g Prusti, Cruesot) or bug-finding (e.g. Rudra, SyRust). Ralf Jung and his collaborators have done exceptional work in the verification space.

Perhaps Rudra as well.

Haven't used it myself, but I remembered a tool called Rudra was recently posted about in the sub

Not sure proves your point, but maybe doesn't disprove your point strongly enough. I am not qualified to argue from experience about how Rust is ideally suited in the ways you think it is not. But from everything I have seen, it can do a whole lot of what C++ is also good at. Rust safety is not all or nothing and a codebase could definitely prioritize ergonomics over correctness.

Two things that I saw in the last couple weeks that might start to sway you.

https://github.com/sslab-gatech/Rudra#readme

GhostCell: Separating Permissions from Data in Rust