Fix ICE in implicit_return

async functions always return a value
This commit is contained in:
Jason Newcomb 2021-05-18 10:51:59 -04:00
parent 98cddc5d3a
commit a149ba26fa
No known key found for this signature in database
GPG key ID: DA59E8643A37ED06
2 changed files with 15 additions and 1 deletions

View file

@ -147,7 +147,11 @@ fn lint_implicit_returns(
visit_break_exprs(block, |break_expr, dest, sub_expr| {
if dest.target_id.ok() == Some(expr.hir_id) {
if call_site_span.is_none() && break_expr.span.ctxt() == ctxt {
lint_break(cx, break_expr.span, sub_expr.unwrap().span);
// At this point sub_expr can be `None` in async functions which either diverge, or return the
// unit type.
if let Some(sub_expr) = sub_expr {
lint_break(cx, break_expr.span, sub_expr.span);
}
} else {
// the break expression is from a macro call, add a return to the loop
add_return = true;

View file

@ -0,0 +1,10 @@
// edition:2018
#![allow(clippy::never_loop)]
async fn f() {
loop {
break;
}
}
fn main() {}