1// run-rustfix
2// rustfix-only-machine-applicable
3// build-pass (FIXME(62277): should be check-pass)
4// aux-build:fancy-panic.rs
5
6extern crate fancy_panic;
7
8const C: &str = "abc {}";
9static S: &str = "{bla}";
10
11#[allow(unreachable_code)]
12fn main() {
13    panic!("{}", "here's a brace: {"); //~ WARN panic message contains a brace
14    std::panic!("{}", "another one: }"); //~ WARN panic message contains a brace
15    core::panic!("{}", "Hello {}"); //~ WARN panic message contains an unused formatting placeholder
16    assert!(false, "{}", "{:03x} {test} bla");
17    //~^ WARN panic message contains unused formatting placeholders
18    assert!(false, "{}", S);
19    //~^ WARN panic message is not a string literal
20    assert!(false, "{}", 123);
21    //~^ WARN panic message is not a string literal
22    assert!(false, "{:?}", Some(123));
23    //~^ WARN panic message is not a string literal
24    debug_assert!(false, "{}", "{{}} bla"); //~ WARN panic message contains braces
25    panic!("{}", C); //~ WARN panic message is not a string literal
26    panic!("{}", S); //~ WARN panic message is not a string literal
27    std::panic::panic_any(123); //~ WARN panic message is not a string literal
28    core::panic!("{}", &*"abc"); //~ WARN panic message is not a string literal
29    std::panic::panic_any(Some(123)); //~ WARN panic message is not a string literal
30    panic!("{}", concat!("{", "}")); //~ WARN panic message contains an unused formatting placeholder
31    panic!("{}", concat!("{", "{")); //~ WARN panic message contains braces
32
33    fancy_panic::fancy_panic!("test {} 123");
34    //~^ WARN panic message contains an unused formatting placeholder
35
36    fancy_panic::fancy_panic!(); // OK
37    fancy_panic::fancy_panic!(S); // OK
38
39    macro_rules! a {
40        () => { 123 };
41    }
42
43    std::panic::panic_any(a!()); //~ WARN panic message is not a string literal
44
45    panic!("{}", 1); //~ WARN panic message is not a string literal
46    assert!(false, "{}", 1); //~ WARN panic message is not a string literal
47    debug_assert!(false, "{}", 1); //~ WARN panic message is not a string literal
48
49    std::panic::panic_any(123); //~ WARN panic message is not a string literal
50    std::panic::panic_any(123); //~ WARN panic message is not a string literal
51
52    // Check that the lint only triggers for std::panic and core::panic,
53    // not any panic macro:
54    macro_rules! panic {
55        ($e:expr) => ();
56    }
57    panic!("{}"); // OK
58    panic!(S); // OK
59
60    a(1);
61    b(1);
62    c(1);
63    d(1);
64}
65
66fn a<T: Send + 'static>(v: T) {
67    std::panic::panic_any(v); //~ WARN panic message is not a string literal
68    assert!(false, v); //~ WARN panic message is not a string literal
69}
70
71fn b<T: std::fmt::Debug + Send + 'static>(v: T) {
72    std::panic::panic_any(v); //~ WARN panic message is not a string literal
73    assert!(false, "{:?}", v); //~ WARN panic message is not a string literal
74}
75
76fn c<T: std::fmt::Display + Send + 'static>(v: T) {
77    std::panic::panic_any(v); //~ WARN panic message is not a string literal
78    assert!(false, "{}", v); //~ WARN panic message is not a string literal
79}
80
81fn d<T: std::fmt::Display + std::fmt::Debug + Send + 'static>(v: T) {
82    std::panic::panic_any(v); //~ WARN panic message is not a string literal
83    assert!(false, "{}", v); //~ WARN panic message is not a string literal
84}
85