Compiler behavior is the only thing that matters in any language, as per Hyrum's law. A spec is a useful tool for discussing and building a language, but don't confuse the map for the territory.