#![feature(const_generics)]

struct Tag<const S: &'static str>;

mod tags {
    use super::Tag;

    pub type x = Tag<"x">;
    pub type y = Tag<"y">;
}

fn main() {
    let _: tags::x = Tag::<"z">;
}