Isn't there a cheap way to implement a gentle refusal to compile a code if it is not garantee that it won't prevent such a behavior?

No, definitely not. The solution is something like Rust, with its lifetimes and borrow checker ... not cheap at all.

You mean a borrow checker? That exists, but not for Odin.