]> git.lizzy.rs Git - rust.git/blob - tests/ui/explicit_auto_deref.rs
Refactor `dereference.rs`
[rust.git] / tests / ui / explicit_auto_deref.rs
1 // run-rustfix
2
3 #![warn(clippy::explicit_auto_deref)]
4 #![allow(
5     dead_code,
6     unused_braces,
7     clippy::borrowed_box,
8     clippy::needless_borrow,
9     clippy::needless_return,
10     clippy::ptr_arg,
11     clippy::redundant_field_names,
12     clippy::too_many_arguments,
13     clippy::borrow_deref_ref,
14     clippy::let_unit_value
15 )]
16
17 trait CallableStr {
18     type T: Fn(&str);
19     fn callable_str(&self) -> Self::T;
20 }
21 impl CallableStr for () {
22     type T = fn(&str);
23     fn callable_str(&self) -> Self::T {
24         fn f(_: &str) {}
25         f
26     }
27 }
28 impl CallableStr for i32 {
29     type T = <() as CallableStr>::T;
30     fn callable_str(&self) -> Self::T {
31         ().callable_str()
32     }
33 }
34
35 trait CallableT<U: ?Sized> {
36     type T: Fn(&U);
37     fn callable_t(&self) -> Self::T;
38 }
39 impl<U: ?Sized> CallableT<U> for () {
40     type T = fn(&U);
41     fn callable_t(&self) -> Self::T {
42         fn f<U: ?Sized>(_: &U) {}
43         f::<U>
44     }
45 }
46 impl<U: ?Sized> CallableT<U> for i32 {
47     type T = <() as CallableT<U>>::T;
48     fn callable_t(&self) -> Self::T {
49         ().callable_t()
50     }
51 }
52
53 fn f_str(_: &str) {}
54 fn f_string(_: &String) {}
55 fn f_t<T>(_: T) {}
56 fn f_ref_t<T: ?Sized>(_: &T) {}
57
58 fn f_str_t<T>(_: &str, _: T) {}
59
60 fn f_box_t<T>(_: &Box<T>) {}
61
62 fn main() {
63     let s = String::new();
64
65     let _: &str = &*s;
66     let _ = &*s; // Don't lint. Inferred type would change.
67     let _: &_ = &*s; // Don't lint. Inferred type would change.
68
69     f_str(&*s);
70     f_t(&*s); // Don't lint. Inferred type would change.
71     f_ref_t(&*s); // Don't lint. Inferred type would change.
72
73     f_str_t(&*s, &*s); // Don't lint second param.
74
75     let b = Box::new(Box::new(Box::new(5)));
76     let _: &Box<i32> = &**b;
77     let _: &Box<_> = &**b; // Don't lint. Inferred type would change.
78
79     f_box_t(&**b); // Don't lint. Inferred type would change.
80
81     let c = |_x: &str| ();
82     c(&*s);
83
84     let c = |_x| ();
85     c(&*s); // Don't lint. Inferred type would change.
86
87     fn _f(x: &String) -> &str {
88         &**x
89     }
90
91     fn _f1(x: &String) -> &str {
92         { &**x }
93     }
94
95     fn _f2(x: &String) -> &str {
96         &**{ x }
97     }
98
99     fn _f3(x: &Box<Box<Box<i32>>>) -> &Box<i32> {
100         &***x
101     }
102
103     fn _f4(
104         x: String,
105         f1: impl Fn(&str),
106         f2: &dyn Fn(&str),
107         f3: fn(&str),
108         f4: impl CallableStr,
109         f5: <() as CallableStr>::T,
110         f6: <i32 as CallableStr>::T,
111         f7: &dyn CallableStr<T = fn(&str)>,
112         f8: impl CallableT<str>,
113         f9: <() as CallableT<str>>::T,
114         f10: <i32 as CallableT<str>>::T,
115         f11: &dyn CallableT<str, T = fn(&str)>,
116     ) {
117         f1(&*x);
118         f2(&*x);
119         f3(&*x);
120         f4.callable_str()(&*x);
121         f5(&*x);
122         f6(&*x);
123         f7.callable_str()(&*x);
124         f8.callable_t()(&*x);
125         f9(&*x);
126         f10(&*x);
127         f11.callable_t()(&*x);
128     }
129
130     struct S1<'a>(&'a str);
131     let _ = S1(&*s);
132
133     struct S2<'a> {
134         s: &'a str,
135     }
136     let _ = S2 { s: &*s };
137
138     struct S3<'a, T: ?Sized>(&'a T);
139     let _ = S3(&*s); // Don't lint. Inferred type would change.
140
141     struct S4<'a, T: ?Sized> {
142         s: &'a T,
143     }
144     let _ = S4 { s: &*s }; // Don't lint. Inferred type would change.
145
146     enum E1<'a> {
147         S1(&'a str),
148         S2 { s: &'a str },
149     }
150     impl<'a> E1<'a> {
151         fn m1(s: &'a String) {
152             let _ = Self::S1(&**s);
153             let _ = Self::S2 { s: &**s };
154         }
155     }
156     let _ = E1::S1(&*s);
157     let _ = E1::S2 { s: &*s };
158
159     enum E2<'a, T: ?Sized> {
160         S1(&'a T),
161         S2 { s: &'a T },
162     }
163     let _ = E2::S1(&*s); // Don't lint. Inferred type would change.
164     let _ = E2::S2 { s: &*s }; // Don't lint. Inferred type would change.
165
166     let ref_s = &s;
167     let _: &String = &*ref_s; // Don't lint reborrow.
168     f_string(&*ref_s); // Don't lint reborrow.
169
170     struct S5 {
171         foo: u32,
172     }
173     let b = Box::new(Box::new(S5 { foo: 5 }));
174     let _ = b.foo;
175     let _ = (*b).foo;
176     let _ = (**b).foo;
177
178     struct S6 {
179         foo: S5,
180     }
181     impl core::ops::Deref for S6 {
182         type Target = S5;
183         fn deref(&self) -> &Self::Target {
184             &self.foo
185         }
186     }
187     let s6 = S6 { foo: S5 { foo: 5 } };
188     let _ = (*s6).foo; // Don't lint. `S6` also has a field named `foo`
189
190     let ref_str = &"foo";
191     let _ = f_str(*ref_str);
192     let ref_ref_str = &ref_str;
193     let _ = f_str(**ref_ref_str);
194
195     fn _f5(x: &u32) -> u32 {
196         if true {
197             *x
198         } else {
199             return *x;
200         }
201     }
202
203     f_str(&&*ref_str); // `needless_borrow` will suggest removing both references
204     f_str(&&**ref_str); // `needless_borrow` will suggest removing only one reference
205 }