See https://github.com/mozilla/rust/issues/13973 - if that's a bug that gets fixed by not allowing dereferences in a static then the example indeed becomes invalid.