rust/tests/ui/diverging_sub_expression.rs

53 lines
1.3 KiB
Rust
Raw Normal View History

2018-10-06 11:18:06 -05:00
// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
#![feature(never_type)]
2018-07-28 10:34:52 -05:00
#![warn(clippy::diverging_sub_expression)]
#![allow(clippy::match_same_arms, clippy::logic_bug)]
2018-07-28 10:34:52 -05:00
#[allow(clippy::empty_loop)]
2018-12-09 16:26:16 -06:00
fn diverge() -> ! {
loop {}
}
2016-09-13 05:41:37 -05:00
struct A;
impl A {
2018-12-09 16:26:16 -06:00
fn foo(&self) -> ! {
diverge()
}
2016-09-13 05:41:37 -05:00
}
2018-07-28 10:34:52 -05:00
#[allow(unused_variables, clippy::unnecessary_operation, clippy::short_circuit_statement)]
fn main() {
let b = true;
2017-02-08 07:58:07 -06:00
b || diverge();
b || A.foo();
}
#[allow(dead_code, unused_variables)]
fn foobar() {
loop {
let x = match 5 {
4 => return,
5 => continue,
2017-02-08 07:58:07 -06:00
6 => true || return,
7 => true || continue,
8 => break,
9 => diverge(),
2017-02-08 07:58:07 -06:00
3 => true || diverge(),
10 => match 42 {
99 => return,
_ => true || panic!("boo"),
},
2017-02-08 07:58:07 -06:00
_ => true || break,
};
}
}