]> git.lizzy.rs Git - rust.git/blob - tests/ui/explicit_auto_deref.rs
Don't suggest using auto deref for block expressions
[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 extern "C" {
63     fn var(_: u32, ...);
64 }
65
66 fn main() {
67     let s = String::new();
68
69     let _: &str = &*s;
70     let _: &str = &*{ String::new() };
71     let _ = &*s; // Don't lint. Inferred type would change.
72     let _: &_ = &*s; // Don't lint. Inferred type would change.
73
74     f_str(&*s);
75     f_t(&*s); // Don't lint. Inferred type would change.
76     f_ref_t(&*s); // Don't lint. Inferred type would change.
77
78     f_str_t(&*s, &*s); // Don't lint second param.
79
80     let b = Box::new(Box::new(Box::new(5)));
81     let _: &Box<i32> = &**b;
82     let _: &Box<_> = &**b; // Don't lint. Inferred type would change.
83
84     f_box_t(&**b); // Don't lint. Inferred type would change.
85
86     let c = |_x: &str| ();
87     c(&*s);
88
89     let c = |_x| ();
90     c(&*s); // Don't lint. Inferred type would change.
91
92     fn _f(x: &String) -> &str {
93         &**x
94     }
95
96     fn _f1(x: &String) -> &str {
97         { &**x }
98     }
99
100     fn _f2(x: &String) -> &str {
101         &**{ x }
102     }
103
104     fn _f3(x: &Box<Box<Box<i32>>>) -> &Box<i32> {
105         &***x
106     }
107
108     fn _f4(
109         x: String,
110         f1: impl Fn(&str),
111         f2: &dyn Fn(&str),
112         f3: fn(&str),
113         f4: impl CallableStr,
114         f5: <() as CallableStr>::T,
115         f6: <i32 as CallableStr>::T,
116         f7: &dyn CallableStr<T = fn(&str)>,
117         f8: impl CallableT<str>,
118         f9: <() as CallableT<str>>::T,
119         f10: <i32 as CallableT<str>>::T,
120         f11: &dyn CallableT<str, T = fn(&str)>,
121     ) {
122         f1(&*x);
123         f2(&*x);
124         f3(&*x);
125         f4.callable_str()(&*x);
126         f5(&*x);
127         f6(&*x);
128         f7.callable_str()(&*x);
129         f8.callable_t()(&*x);
130         f9(&*x);
131         f10(&*x);
132         f11.callable_t()(&*x);
133     }
134
135     struct S1<'a>(&'a str);
136     let _ = S1(&*s);
137
138     struct S2<'a> {
139         s: &'a str,
140     }
141     let _ = S2 { s: &*s };
142
143     struct S3<'a, T: ?Sized>(&'a T);
144     let _ = S3(&*s); // Don't lint. Inferred type would change.
145
146     struct S4<'a, T: ?Sized> {
147         s: &'a T,
148     }
149     let _ = S4 { s: &*s }; // Don't lint. Inferred type would change.
150
151     enum E1<'a> {
152         S1(&'a str),
153         S2 { s: &'a str },
154     }
155     impl<'a> E1<'a> {
156         fn m1(s: &'a String) {
157             let _ = Self::S1(&**s);
158             let _ = Self::S2 { s: &**s };
159         }
160     }
161     let _ = E1::S1(&*s);
162     let _ = E1::S2 { s: &*s };
163
164     enum E2<'a, T: ?Sized> {
165         S1(&'a T),
166         S2 { s: &'a T },
167     }
168     let _ = E2::S1(&*s); // Don't lint. Inferred type would change.
169     let _ = E2::S2 { s: &*s }; // Don't lint. Inferred type would change.
170
171     let ref_s = &s;
172     let _: &String = &*ref_s; // Don't lint reborrow.
173     f_string(&*ref_s); // Don't lint reborrow.
174
175     struct S5 {
176         foo: u32,
177     }
178     let b = Box::new(Box::new(S5 { foo: 5 }));
179     let _ = b.foo;
180     let _ = (*b).foo;
181     let _ = (**b).foo;
182
183     struct S6 {
184         foo: S5,
185     }
186     impl core::ops::Deref for S6 {
187         type Target = S5;
188         fn deref(&self) -> &Self::Target {
189             &self.foo
190         }
191     }
192     let s6 = S6 { foo: S5 { foo: 5 } };
193     let _ = (*s6).foo; // Don't lint. `S6` also has a field named `foo`
194
195     let ref_str = &"foo";
196     let _ = f_str(*ref_str);
197     let ref_ref_str = &ref_str;
198     let _ = f_str(**ref_ref_str);
199
200     fn _f5(x: &u32) -> u32 {
201         if true {
202             *x
203         } else {
204             return *x;
205         }
206     }
207
208     f_str(&&*ref_str); // `needless_borrow` will suggest removing both references
209     f_str(&&**ref_str); // `needless_borrow` will suggest removing only one reference
210
211     let x = &&40;
212     unsafe {
213         var(0, &**x);
214     }
215
216     let s = &"str";
217     let _ = || return *s;
218     let _ = || -> &'static str { return *s };
219
220     struct X;
221     struct Y(X);
222     impl core::ops::Deref for Y {
223         type Target = X;
224         fn deref(&self) -> &Self::Target {
225             &self.0
226         }
227     }
228     let _: &X = &*{ Y(X) };
229     let _: &X = &*match 0 {
230         #[rustfmt::skip]
231         0 => { Y(X) },
232         _ => panic!(),
233     };
234     let _: &X = &*if true { Y(X) } else { panic!() };
235 }