not exactly, as there are rust compilers like mrust that don’t actually have borrow checkers and virtually none of those safety checks actually occur and there is a question of if the gcc rust compiler would be implementing that feature into the compiler.

So, that would be an attribution failure; as it isn’t required by the language but the most popular rust compiler does include that feature.

But yes, more compilers would likely benefit the languages they support by also adopting that feature by default.