pub fn borrowed(ty: Box<Ty>) -> Ty