diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-06-30 08:16:05 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-06 14:18:32 +0000 |
| commit | e1b3483ee807716e579324f0d107b5365e81d30f (patch) | |
| tree | 88b844446127e3ecb43837f49504b939b0e19783 | |
| parent | ce339b219ab9a3731e38f68a66fc39e0898ac7af (diff) | |
| download | rust-e1b3483ee807716e579324f0d107b5365e81d30f.tar.gz rust-e1b3483ee807716e579324f0d107b5365e81d30f.zip | |
Lower the assume intrinsic to a MIR statement
| -rw-r--r-- | clippy_utils/src/qualify_min_const_fn.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clippy_utils/src/qualify_min_const_fn.rs b/clippy_utils/src/qualify_min_const_fn.rs index 74c222bbcbe..1c12da7f741 100644 --- a/clippy_utils/src/qualify_min_const_fn.rs +++ b/clippy_utils/src/qualify_min_const_fn.rs @@ -211,6 +211,9 @@ fn check_statement<'tcx>( StatementKind::SetDiscriminant { place, .. } | StatementKind::Deinit(place) => { check_place(tcx, **place, span, body) }, + StatementKind::Assume(box op) => { + check_operand(tcx, op, span, body) + }, StatementKind::CopyNonOverlapping(box rustc_middle::mir::CopyNonOverlapping { dst, src, count }) => { check_operand(tcx, dst, span, body)?; |