2020-12-30 22:37:59 +00:00
|
|
|
#![warn(clippy::missing_panics_doc)]
|
2023-05-31 17:47:10 +00:00
|
|
|
#![allow(clippy::option_map_unit_fn, clippy::unnecessary_literal_unwrap)]
|
2020-12-30 22:37:59 +00:00
|
|
|
fn main() {}
|
|
|
|
|
|
|
|
/// This needs to be documented
|
|
|
|
pub fn unwrap() {
|
|
|
|
let result = Err("Hi");
|
|
|
|
result.unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This needs to be documented
|
|
|
|
pub fn panic() {
|
|
|
|
panic!("This function panics")
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This needs to be documented
|
|
|
|
pub fn todo() {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This needs to be documented
|
|
|
|
pub fn inner_body(opt: Option<u32>) {
|
|
|
|
opt.map(|x| {
|
|
|
|
if x == 10 {
|
|
|
|
panic!()
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2021-02-10 19:55:31 +00:00
|
|
|
/// This needs to be documented
|
|
|
|
pub fn unreachable_and_panic() {
|
2021-03-01 17:53:33 +00:00
|
|
|
if true { unreachable!() } else { panic!() }
|
2021-02-10 19:55:31 +00:00
|
|
|
}
|
|
|
|
|
2021-04-05 07:16:48 +00:00
|
|
|
/// This needs to be documented
|
|
|
|
pub fn assert_eq() {
|
|
|
|
let x = 0;
|
|
|
|
assert_eq!(x, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This needs to be documented
|
|
|
|
pub fn assert_ne() {
|
|
|
|
let x = 0;
|
|
|
|
assert_ne!(x, 0);
|
|
|
|
}
|
|
|
|
|
2020-12-30 22:37:59 +00:00
|
|
|
/// This is documented
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// Panics if `result` if an error
|
|
|
|
pub fn unwrap_documented() {
|
|
|
|
let result = Err("Hi");
|
|
|
|
result.unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This is documented
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// Panics just because
|
|
|
|
pub fn panic_documented() {
|
|
|
|
panic!("This function panics")
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This is documented
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// Panics if `opt` is Just(10)
|
|
|
|
pub fn inner_body_documented(opt: Option<u32>) {
|
|
|
|
opt.map(|x| {
|
|
|
|
if x == 10 {
|
|
|
|
panic!()
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This is documented
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// We still need to do this part
|
|
|
|
pub fn todo_documented() {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
|
2021-02-10 19:55:31 +00:00
|
|
|
/// This is documented
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// We still need to do this part
|
|
|
|
pub fn unreachable_amd_panic_documented() {
|
2021-03-01 17:53:33 +00:00
|
|
|
if true { unreachable!() } else { panic!() }
|
2021-02-10 19:55:31 +00:00
|
|
|
}
|
|
|
|
|
2021-04-05 07:16:48 +00:00
|
|
|
/// This is documented
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// Panics if `x` is not 0.
|
|
|
|
pub fn assert_eq_documented() {
|
|
|
|
let x = 0;
|
|
|
|
assert_eq!(x, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This is documented
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// Panics if `x` is 0.
|
|
|
|
pub fn assert_ne_documented() {
|
|
|
|
let x = 0;
|
|
|
|
assert_ne!(x, 0);
|
|
|
|
}
|
|
|
|
|
2020-12-30 22:37:59 +00:00
|
|
|
/// This is okay because it is private
|
|
|
|
fn unwrap_private() {
|
|
|
|
let result = Err("Hi");
|
|
|
|
result.unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This is okay because it is private
|
|
|
|
fn panic_private() {
|
|
|
|
panic!("This function panics")
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This is okay because it is private
|
|
|
|
fn todo_private() {
|
|
|
|
todo!()
|
|
|
|
}
|
|
|
|
|
|
|
|
/// This is okay because it is private
|
|
|
|
fn inner_body_private(opt: Option<u32>) {
|
|
|
|
opt.map(|x| {
|
|
|
|
if x == 10 {
|
|
|
|
panic!()
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
2021-02-08 16:25:10 +00:00
|
|
|
|
|
|
|
/// This is okay because unreachable
|
|
|
|
pub fn unreachable() {
|
|
|
|
unreachable!("This function panics")
|
|
|
|
}
|
2021-03-29 08:19:05 +00:00
|
|
|
|
|
|
|
/// #6970.
|
|
|
|
/// This is okay because it is expansion of `debug_assert` family.
|
|
|
|
pub fn debug_assertions() {
|
|
|
|
debug_assert!(false);
|
|
|
|
debug_assert_eq!(1, 2);
|
|
|
|
debug_assert_ne!(1, 2);
|
|
|
|
}
|
2023-06-16 07:37:19 +00:00
|
|
|
|
|
|
|
// all function must be triggered the lint.
|
|
|
|
// `pub` is required, because the lint does not consider unreachable items
|
|
|
|
pub mod issue10240 {
|
|
|
|
pub fn option_unwrap<T>(v: &[T]) -> &T {
|
|
|
|
let o: Option<&T> = v.last();
|
|
|
|
o.unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn option_expect<T>(v: &[T]) -> &T {
|
|
|
|
let o: Option<&T> = v.last();
|
|
|
|
o.expect("passed an empty thing")
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn result_unwrap<T>(v: &[T]) -> &T {
|
|
|
|
let res: Result<&T, &str> = v.last().ok_or("oh noes");
|
|
|
|
res.unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn result_expect<T>(v: &[T]) -> &T {
|
|
|
|
let res: Result<&T, &str> = v.last().ok_or("oh noes");
|
|
|
|
res.expect("passed an empty thing")
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn last_unwrap(v: &[u32]) -> u32 {
|
|
|
|
*v.last().unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn last_expect(v: &[u32]) -> u32 {
|
|
|
|
*v.last().expect("passed an empty thing")
|
|
|
|
}
|
|
|
|
}
|