I'm a little wary of this. This looks like it's saying that a mutable static cannot be aliased, but that doesn't seem right to me?

@nikomatsakis, you may be interested in this.