src/test/ui/non-fmt-panic.rs

   1 // run-rustfix
   2 // rustfix-only-machine-applicable
   3 // build-pass (FIXME(62277): should be check-pass)
   4 // aux-build:fancy-panic.rs
   5
   6 extern crate fancy_panic;
   7
   8 const C: &str = "abc {}";
   9 static S: &str = "{bla}";
  10
  11 #[allow(unreachable_code)]
  12 fn main() {
  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!(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
  35
  36     fancy_panic::fancy_panic!("test {} 123");
  37     //~^ WARN panic message contains an unused formatting placeholder
  38
  39     fancy_panic::fancy_panic!(); // OK
  40     fancy_panic::fancy_panic!(S); // OK
  41
  42     macro_rules! a {
  43         () => { 123 };
  44     }
  45
  46     panic!(a!()); //~ WARN panic message is not a string literal
  47     unreachable!(a!()); //~ WARN panic message is not a string literal
  48
  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
  53
  54     panic![123]; //~ WARN panic message is not a string literal
  55     panic!{123}; //~ WARN panic message is not a string literal
  56
  57     // Check that the lint only triggers for std::panic and core::panic,
  58     // not any panic macro:
  59     macro_rules! panic {
  60         ($e:expr) => ();
  61     }
  62     panic!("{}"); // OK
  63     panic!(S); // OK
  64
  65     a(1);
  66     b(1);
  67     c(1);
  68     d(1);
  69 }
  70
  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
  74 }
  75
  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
  79 }
  80
  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
  84 }
  85
  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
  89 }