Did you file a bug on the rustc issue? I'd like to get that fixed and/or even help get it fixed, by fixing the Rust toolchain.