tests/ui/identity_conversion.rs

   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         let _ = "".lines().into_iter();
  36     }
  37
  38     let _: String = "foo".to_string().into();
  39     let _: String = From::from("foo".to_string());
  40     let _ = String::from("foo".to_string());
  41     let _ = "".lines().into_iter();
  42     let _ = vec![1, 2, 3].into_iter().into_iter();
  43 }