I’m familiar with Rust’s runtime checks, Java has more of those. I’m curious what exactly do you mean.