Indeed. Though for Julia, the issue is that there is a way to locally disable correctness checking (`@inbounds`) that some developers have gone too far with. But there is also a global way of turning it off (`julia --check-bounds=yes). This is at least a better position than say something like the Python ecosystem where there are global correctness overrides that can be disabled in a way that effects every single library (https://moyix.blogspot.com/2022/09/someones-been-messing-wit...). Julia needs to improve this more, as I posted in detail two features that would go a long way to improve this, but singling out Julia seems to really miss the context of where these features are derived from and how it relates to other languages.