type X = ();

fn main() {
    let ():::X = ();
}