2 // rustfix-only-machine-applicable
3 // build-pass (FIXME(62277): should be check-pass)
4 // aux-build:fancy-panic.rs
6 extern crate fancy_panic;
8 const C: &str = "abc {}";
9 static S: &str = "{bla}";
11 #[allow(unreachable_code)]
13 panic!("{}", "here's a brace: {"); //~ WARN panic message contains a brace
14 unreachable!("{}", "here's a brace: {"); //~ WARN panic message contains a brace
15 std::panic!("{}", "another one: }"); //~ WARN panic message contains a brace
16 core::panic!("{}", "Hello {}"); //~ WARN panic message contains an unused formatting placeholder
17 assert!(false, "{}", "{:03x} {test} bla");
18 //~^ WARN panic message contains unused formatting placeholders
19 assert!(false, "{}", S);
20 //~^ WARN panic message is not a string literal
21 assert!(false, "{}", 123);
22 //~^ WARN panic message is not a string literal
23 assert!(false, "{:?}", Some(123));
24 //~^ WARN panic message is not a string literal
25 debug_assert!(false, "{}", "{{}} bla"); //~ WARN panic message contains braces
26 panic!("{}", C); //~ WARN panic message is not a string literal
27 panic!("{}", S); //~ WARN panic message is not a string literal
28 unreachable!("{}", S); //~ WARN panic message is not a string literal
29 unreachable!("{}", S); //~ WARN panic message is not a string literal
30 std::panic::panic_any(123); //~ WARN panic message is not a string literal
31 core::panic!("{}", &*"abc"); //~ WARN panic message is not a string literal
32 std::panic::panic_any(Some(123)); //~ WARN panic message is not a string literal
33 panic!("{}", concat!("{", "}")); //~ WARN panic message contains an unused formatting placeholder
34 panic!("{}", concat!("{", "{")); //~ WARN panic message contains braces
36 fancy_panic::fancy_panic!("test {} 123");
37 //~^ WARN panic message contains an unused formatting placeholder
39 fancy_panic::fancy_panic!(); // OK
40 fancy_panic::fancy_panic!(S); // OK
46 std::panic::panic_any(a!()); //~ WARN panic message is not a string literal
47 unreachable!("{}", a!()); //~ WARN panic message is not a string literal
49 panic!("{}", 1); //~ WARN panic message is not a string literal
50 unreachable!("{}", 1); //~ WARN panic message is not a string literal
51 assert!(false, "{}", 1); //~ WARN panic message is not a string literal
52 debug_assert!(false, "{}", 1); //~ WARN panic message is not a string literal
54 std::panic::panic_any(123); //~ WARN panic message is not a string literal
55 std::panic::panic_any(123); //~ WARN panic message is not a string literal
57 // Check that the lint only triggers for std::panic and core::panic,
58 // not any panic macro:
71 fn a<T: 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
76 fn b<T: std::fmt::Debug + 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
81 fn c<T: std::fmt::Display + 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
86 fn d<T: std::fmt::Display + std::fmt::Debug + Send + 'static>(v: T) {
87 std::panic::panic_any(v); //~ WARN panic message is not a string literal
88 assert!(false, "{}", v); //~ WARN panic message is not a string literal