tests/ui/result_map_unit_fn.rs

   1 #![feature(never_type)]
   2 #![warn(result_map_unit_fn)]
   3 #![allow(unused)]
   4
   5 fn do_nothing<T>(_: T) {}
   6
   7 fn diverge<T>(_: T) -> ! {
   8     panic!()
   9 }
  10
  11 fn plus_one(value: usize) -> usize {
  12     value + 1
  13 }
  14
  15 struct HasResult {
  16     field: Result<usize, usize>,
  17 }
  18
  19 impl HasResult {
  20     fn do_result_nothing(self: &Self, value: usize) {}
  21
  22     fn do_result_plus_one(self: &Self, value: usize) -> usize {
  23         value + 1
  24     }
  25 }
  26
  27 fn result_map_unit_fn() {
  28     let x = HasResult { field: Ok(10) };
  29
  30     x.field.map(plus_one);
  31     let _ : Result<(), usize> = x.field.map(do_nothing);
  32
  33     x.field.map(do_nothing);
  34
  35     x.field.map(do_nothing);
  36
  37     x.field.map(diverge);
  38
  39     let captured = 10;
  40     if let Ok(value) = x.field { do_nothing(value + captured) };
  41     let _ : Result<(), usize> = x.field.map(|value| do_nothing(value + captured));
  42
  43     x.field.map(|value| x.do_result_nothing(value + captured));
  44
  45     x.field.map(|value| { x.do_result_plus_one(value + captured); });
  46
  47
  48     x.field.map(|value| do_nothing(value + captured));
  49
  50     x.field.map(|value| { do_nothing(value + captured) });
  51
  52     x.field.map(|value| { do_nothing(value + captured); });
  53
  54     x.field.map(|value| { { do_nothing(value + captured); } });
  55
  56
  57     x.field.map(|value| diverge(value + captured));
  58
  59     x.field.map(|value| { diverge(value + captured) });
  60
  61     x.field.map(|value| { diverge(value + captured); });
  62
  63     x.field.map(|value| { { diverge(value + captured); } });
  64
  65
  66     x.field.map(|value| plus_one(value + captured));
  67     x.field.map(|value| { plus_one(value + captured) });
  68     x.field.map(|value| { let y = plus_one(value + captured); });
  69
  70     x.field.map(|value| { plus_one(value + captured); });
  71
  72     x.field.map(|value| { { plus_one(value + captured); } });
  73
  74
  75     x.field.map(|ref value| { do_nothing(value + captured) });
  76
  77
  78     x.field.map(|value| { do_nothing(value); do_nothing(value) });
  79
  80     x.field.map(|value| if value > 0 { do_nothing(value); do_nothing(value) });
  81
  82     // Suggestion for the let block should be `{ ... }` as it's too difficult to build a
  83     // proper suggestion for these cases
  84     x.field.map(|value| {
  85         do_nothing(value);
  86         do_nothing(value)
  87     });
  88     x.field.map(|value| { do_nothing(value); do_nothing(value); });
  89
  90     // The following should suggest `if let Ok(_X) ...` as it's difficult to generate a proper let variable name for them
  91     let res: Result<!, usize> = Ok(42).map(diverge);
  92     "12".parse::<i32>().map(diverge);
  93
  94     let res: Result<(), usize> = Ok(plus_one(1)).map(do_nothing);
  95
  96     // Should suggest `if let Ok(_y) ...` to not override the existing foo variable
  97     let y: Result<usize, usize> = Ok(42);
  98     y.map(do_nothing);
  99 }
 100
 101 fn main() {
 102 }
 103