src/test/ui/writealias.rs

   1 // run-pass
   2
   3 #![allow(dead_code)]
   4
   5 use std::sync::Mutex;
   6
   7 struct Point {x: isize, y: isize, z: isize}
   8
   9 fn f(p: &mut Point) { p.z = 13; }
  10
  11 pub fn main() {
  12     let x = Some(Mutex::new(true));
  13     match x {
  14         Some(ref z) if *z.lock().unwrap() => {
  15             assert!(*z.lock().unwrap());
  16         },
  17         _ => panic!()
  18     }
  19 }