tests/ui/non-fmt-panic.fixed

   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::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
  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     std::panic::panic_any(a!()); //~ WARN panic message is not a string literal
  47     unreachable!("{}", a!()); //~ WARN panic message is not a string literal
  48
  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
  53
  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
  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     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
  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
  79 }
  80
  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
  84 }
  85
  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
  89 }