> methodonpointerotpointer is not a breaking change if you read the specs.

It's not a breaking change according to Go's definition of breaking changes, by which Rust hasn't had any breaking change either.

> Rust doesn't even have a formal language specification.

Neither does Go, the spec is not a formal specification (and the first phrase of the intro states that it's a reference manual).