From da1251cf55b2c523735c595eac8b75c6293104c7 Mon Sep 17 00:00:00 2001 From: Yann Bolliger Date: Tue, 1 Jun 2021 09:41:09 +0200 Subject: [PATCH] Make linter happy. --- stainless_extraction/src/ty.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stainless_extraction/src/ty.rs b/stainless_extraction/src/ty.rs index 521a5793..45d73f2d 100644 --- a/stainless_extraction/src/ty.rs +++ b/stainless_extraction/src/ty.rs @@ -67,7 +67,7 @@ pub fn uint_bit_width(int_ty: &UintTy, tcx: TyCtxt<'_>) -> u64 { int_ty.bit_width().unwrap_or_else(|| pointer_bit_width(tcx)) } -pub fn is_mut_ref<'tcx>(ty: Ty<'tcx>) -> bool { +pub fn is_mut_ref(ty: Ty) -> bool { matches!(ty.ref_mutability(), Some(Mutability::Mut)) }