Skip to content

Commit

Permalink
Auto merge of rust-lang#12108 - samueltardieu:issue-12103, r=xFrednet
Browse files Browse the repository at this point in the history
Do not suggest `bool::then()` and `bool::then_some` in `const` contexts

Fix rust-lang#12103

changelog: [`if_then_some_else_none`]: Do not trigger in `const` contexts
  • Loading branch information
bors committed Jan 7, 2024
2 parents 0e5dc8e + 5b7a0de commit adc5bc9
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 1 deletion.
7 changes: 6 additions & 1 deletion clippy_lints/src/if_then_some_else_none.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ use clippy_utils::diagnostics::span_lint_and_help;
use clippy_utils::eager_or_lazy::switch_to_eager_eval;
use clippy_utils::source::snippet_with_context;
use clippy_utils::sugg::Sugg;
use clippy_utils::{contains_return, higher, is_else_clause, is_res_lang_ctor, path_res, peel_blocks};
use clippy_utils::{contains_return, higher, in_constant, is_else_clause, is_res_lang_ctor, path_res, peel_blocks};
use rustc_errors::Applicability;
use rustc_hir::LangItem::{OptionNone, OptionSome};
use rustc_hir::{Expr, ExprKind};
Expand Down Expand Up @@ -74,6 +74,11 @@ impl<'tcx> LateLintPass<'tcx> for IfThenSomeElseNone {
return;
}

// `bool::then()` and `bool::then_some()` are not const
if in_constant(cx, expr.hir_id) {
return;
}

let ctxt = expr.span.ctxt();

if let Some(higher::If {
Expand Down
5 changes: 5 additions & 0 deletions tests/ui/if_then_some_else_none.rs
Original file line number Diff line number Diff line change
Expand Up @@ -130,3 +130,8 @@ fn issue11394(b: bool, v: Result<(), ()>) -> Result<(), ()> {

Ok(())
}

const fn issue12103(x: u32) -> Option<u32> {
// Should not issue an error in `const` context
if x > 42 { Some(150) } else { None }
}

0 comments on commit adc5bc9

Please sign in to comment.