`ref_option_ref` do not lint when inner reference is mutable

As it makes the `Option` Non Copy
This commit is contained in:
kraktus 2022-10-21 13:48:41 +02:00
parent 967f172e25
commit 615b7617ed
2 changed files with 7 additions and 1 deletions

View File

@ -52,7 +52,8 @@ impl<'tcx> LateLintPass<'tcx> for RefOptionRef {
GenericArg::Type(inner_ty) => Some(inner_ty),
_ => None,
});
if let TyKind::Rptr(_, _) = inner_ty.kind;
if let TyKind::Rptr(_, ref inner_mut_ty) = inner_ty.kind;
if inner_mut_ty.mutbl == Mutability::Not;
then {
span_lint_and_sugg(

View File

@ -45,3 +45,8 @@ impl RefOptTrait for u32 {
fn main() {
let x: &Option<&u32> = &None;
}
fn issue9682(arg: &Option<&mut String>) {
// Should not lint, as the inner ref is mutable making it non `Copy`
println!("{arg:?}");
}