Let us not conflate a bug in an implementation (rustc) with a defect in the language (Rust).
AFAIK there isn't a language spec. Rustc is the language for now.
Which clause of the language specification is being violated?
AFAIK there isn't a language spec. Rustc is the language for now.