The Power of Rust in Java

Rust has this kind of thing with the result type. So if you're doing something like a mermaid or a diagram and you have a relationship to do things, you can be very specific about it. You still have to check if it's null, but that at least like the typing system is quite powerful. If you've checked some of these now, and then like if it is now when you return, and then after that line, it knows that it's not not anymore. It's pretty powerful in that sense.