//@ compile-flags:-Z unstable-options --extern-html-root-url yet_another_name=https://bad.invalid --extern-html-root-url renamed_privately=https://bad.invalid --extern-html-root-url renamed_locally=https://bad.invalid --extern-html-root-url empty=https://localhost
//@ aux-crate:externs_name=empty.rs
//@ edition: 2018

mod m {
    pub extern crate externs_name as renamed_privately;
}

// renaming within the crate's source code is not supposed to affect CLI flags
extern crate externs_name as renamed_locally;

//@ has extern_html_fallback/index.html
//@ has - '//a/@href' 'https://localhost/empty/index.html'
pub use crate::renamed_locally as yet_another_name;