tests/ui/chalkify/closure.rs

   1 // compile-flags: -Z trait-solver=chalk
   2
   3 fn main() -> () {
   4     let t = || {};
   5     t();
   6
   7     let mut a = 0;
   8     let mut b = move || {
   9         a = 1;
  10     };
  11     b();
  12
  13     let mut c = b;
  14
  15     c();
  16     b();
  17
  18     let mut a = 0;
  19     let mut b = || {
  20         a = 1;
  21     };
  22     b();
  23
  24     let mut c = b;
  25
  26     c();
  27     b(); //~ ERROR
  28
  29     // FIXME(chalk): this doesn't quite work
  30     /*
  31     let b = |c| {
  32         c
  33     };
  34
  35     let a = &32;
  36     b(a);
  37     */
  38 }