No this isn't the case because there's an extra check in here: https://github.com/mozilla/rust/blob/master/src/libsyntax/diagnostic.rs#L205