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
20 //~^ WARN panic message is not a string literal
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!(123); //~ WARN panic message is not a string literal
31 core::panic!(&*"abc"); //~ WARN panic message is not a string literal
32 panic!(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 panic!(a!()); //~ WARN panic message is not a string literal
47 unreachable!(a!()); //~ WARN panic message is not a string literal
49 panic!(format!("{}", 1)); //~ WARN panic message is not a string literal
50 unreachable!(format!("{}", 1)); //~ WARN panic message is not a string literal
51 assert!(false, format!("{}", 1)); //~ WARN panic message is not a string literal
52 debug_assert!(false, format!("{}", 1)); //~ WARN panic message is not a string literal
54 panic![123]; //~ WARN panic message is not a string literal
55 panic!{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 panic!(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 panic!(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 panic!(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 panic!(v); //~ WARN panic message is not a string literal
88 assert!(false, v); //~ WARN panic message is not a string literal