src/test/ui/dynamically-sized-types/dst-coerce-rc.rs

   1 // run-pass
   2 #![allow(unused_variables)]
   3 #![allow(stable_features)]
   4 // Test a very simple custom DST coercion.
   5
   6 #![feature(core, rc_weak)]
   7
   8 use std::cell::RefCell;
   9 use std::rc::{Rc, Weak};
  10
  11 trait Baz {
  12     fn get(&self) -> i32;
  13 }
  14
  15 impl Baz for i32 {
  16     fn get(&self) -> i32 {
  17         *self
  18     }
  19 }
  20
  21 fn main() {
  22     let a: Rc<[i32; 3]> = Rc::new([1, 2, 3]);
  23     let b: Rc<[i32]> = a;
  24     assert_eq!(b[0], 1);
  25     assert_eq!(b[1], 2);
  26     assert_eq!(b[2], 3);
  27
  28     let a: Rc<i32> = Rc::new(42);
  29     let b: Rc<dyn Baz> = a.clone();
  30     assert_eq!(b.get(), 42);
  31
  32     let c: Weak<i32> = Rc::downgrade(&a);
  33     let d: Weak<dyn Baz> = c.clone();
  34
  35     let _c = b.clone();
  36
  37     let a: Rc<RefCell<i32>> = Rc::new(RefCell::new(42));
  38     let b: Rc<RefCell<dyn Baz>> = a.clone();
  39     assert_eq!(b.borrow().get(), 42);
  40     // FIXME
  41     let c: Weak<RefCell<dyn Baz>> = Rc::downgrade(&a) as Weak<_>;
  42 }