3 #![feature(never_type)]
5 // Test that we can call static methods on ! both directly and when it appears in a generic
8 fn stringify_type() -> &'static str;
11 impl StringifyType for ! {
12 fn stringify_type() -> &'static str {
17 fn maybe_stringify<T: StringifyType>(opt: Option<T>) -> &'static str {
19 Some(_) => T::stringify_type(),
25 println!("! is {}", <!>::stringify_type());
26 println!("None is {}", maybe_stringify(None::<!>));