| //@ compile-flags:-Z unstable-options --extern-html-root-url externs_name=https://renamed.example.com --extern-html-root-url empty=https://bad.invalid | |
| //@ aux-crate:externs_name=empty.rs | |
| //@ edition: 2018 | |
| extern crate externs_name as renamed; | |
| //@ has extern_html_alias/index.html | |
| //@ has - '//a/@href' 'https://renamed.example.com/empty/index.html' | |
| pub use renamed as yet_different_name; |