]>
Commit | Line | Data |
---|---|---|
abe05a73 XL |
1 | #![deny(identity_conversion)] |
2 | ||
3 | fn test_generic<T: Copy>(val: T) -> T { | |
4 | let _ = T::from(val); | |
5 | val.into() | |
6 | } | |
7 | ||
8 | fn test_generic2<T: Copy + Into<i32> + Into<U>, U: From<T>>(val: T) { | |
9 | // ok | |
10 | let _: i32 = val.into(); | |
11 | let _: U = val.into(); | |
12 | let _ = U::from(val); | |
13 | } | |
14 | ||
15 | fn test_questionmark() -> Result<(), ()> { | |
16 | { | |
17 | let _: i32 = 0i32.into(); | |
18 | Ok(Ok(())) | |
19 | }??; | |
20 | Ok(()) | |
21 | } | |
22 | ||
23 | fn main() { | |
24 | test_generic(10i32); | |
25 | test_generic2::<i32, i32>(10i32); | |
26 | test_questionmark().unwrap(); | |
27 | ||
28 | let _: String = "foo".into(); | |
29 | let _: String = From::from("foo"); | |
30 | let _ = String::from("foo"); | |
31 | #[allow(identity_conversion)] | |
32 | { | |
33 | let _: String = "foo".into(); | |
34 | let _ = String::from("foo"); | |
35 | } | |
36 | ||
37 | let _: String = "foo".to_string().into(); | |
38 | let _: String = From::from("foo".to_string()); | |
39 | let _ = String::from("foo".to_string()); | |
40 | } |