blob: 9423f08858b9ba9622fd042c2c3cd827f684ed50 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
// run-pass
#![feature(never_type)]
// Test that we can call static methods on ! both directly and when it appears in a generic
trait StringifyType {
fn stringify_type() -> &'static str;
}
impl StringifyType for ! {
fn stringify_type() -> &'static str {
"!"
}
}
fn maybe_stringify<T: StringifyType>(opt: Option<T>) -> &'static str {
match opt {
Some(_) => T::stringify_type(),
None => "none",
}
}
fn main() {
println!("! is {}", <!>::stringify_type());
println!("None is {}", maybe_stringify(None::<!>));
}
|