blob: 765dd75fceb921179e195a71b726019ee4927fa9 [file] [log] [blame]
//@aux-build: proc_macros.rs
#![allow(dead_code, unused_variables)]
extern crate proc_macros;
use proc_macros::with_span;
fn main() {}
mod should_lint {
fn one_help() {
let a = &12;
let b = a;
//~^ borrow_deref_ref
let b = &mut bar(&12);
//~^ borrow_deref_ref
}
fn bar(x: &u32) -> &u32 {
x
}
}
// this mod explains why we should not lint `&mut &* (&T)`
mod should_not_lint1 {
fn foo(x: &mut &u32) {
*x = &1;
}
fn main() {
let mut x = &0;
foo(&mut &*x); // should not lint
assert_eq!(*x, 0);
foo(&mut x);
assert_eq!(*x, 1);
}
}
// similar to should_not_lint1
mod should_not_lint2 {
struct S<'a> {
a: &'a u32,
b: u32,
}
fn main() {
let s = S { a: &1, b: 1 };
let x = &mut &*s.a;
*x = &2;
}
}
with_span!(
span
fn just_returning(x: &u32) -> &u32 {
x
}
fn dont_lint_proc_macro() {
let a = &mut &*just_returning(&12);
}
);
// this mod explains why we should not lint `& &* (&T)`
mod false_negative {
fn foo() {
let x = &12;
let addr_x = &x as *const _ as usize;
let addr_y = &x as *const _ as usize; // assert ok
//
//~^^ borrow_deref_ref
// let addr_y = &x as *const _ as usize; // assert fail
assert_ne!(addr_x, addr_y);
}
}
fn issue_13584() {
let s = "Hello, world!\n";
let p = &raw const *s;
let _ = p as *const i8;
}
mod issue_9905 {
use std::{fs, io};
pub enum File {
Stdio,
File(fs::File),
}
impl io::Read for &'_ File {
fn read(&mut self, buf: &mut [u8]) -> io::Result<usize> {
match self {
File::Stdio => io::stdin().read(buf),
File::File(file) => (&*file).read(buf),
}
}
}
}
mod issue_11346 {
struct Struct;
impl Struct {
fn foo(self: &mut &Self) {}
}
trait Trait {
fn bar(&mut self) {}
}
impl Trait for &Struct {}
fn bar() {
let s = &Struct;
(&*s).foo();
(&*s).bar();
let mut s = &Struct;
s.foo(); // To avoid a warning about `s` not needing to be mutable
s.foo();
//~^ borrow_deref_ref
}
}