BorrowPlusJunk.rs

use std::boxed::Box;
use  std::rc::Rc;
use std::borrow::Borrow;
use std::mem;

struct BP_Borrow;
struct BP_RC;


trait BorrowPlus<Borrowed, TRef> : Borrow<Borrowed>
{
}

fn asRc<Borrowed, BorrowType>(val : BorrowType) -> Rc<Borrowed>
  where BorrowType : BorrowPlus<Borrowed, BP_RC>
{
    unsafe { mem::transmute::<BorrowType, Rc<Borrowed> > (val)}
}



fn main(){}