Trait CloneIn 

pub trait CloneIn<'new_alloc>: Sized {
    type Cloned;

    // Required method
    fn clone_in(&self, allocator: &'new_alloc Allocator) -> Self::Cloned;

    // Provided method
    fn clone_in_with_semantic_ids(
        &self,
        allocator: &'new_alloc Allocator,
    ) -> Self::Cloned { ... }
}

A trait to explicitly clone an object into an arena allocator.

As a convention Cloned associated type should always be the same as Self, It’d only differ in the lifetime, Here’s an example:

impl<'old_alloc, 'new_alloc> CloneIn<'new_alloc> for Struct<'old_alloc> {
    type Cloned = Struct<'new_alloc>;
    fn clone_in(&self, allocator: &'new_alloc Allocator) -> Self::Cloned {
        Struct { a: self.a.clone_in(allocator), b: self.b.clone_in(allocator) }
    }
}

Implementations of this trait on non-allocated items usually short-circuit to Clone::clone; However, it isn’t guaranteed.

Required Associated Types

type Cloned

The type of the cloned object.

This should always be Self with a different lifetime.

Required Methods

fn clone_in(&self, allocator: &'new_alloc Allocator) -> Self::Cloned

Clone self into the given allocator. allocator may be the same one that self is already in.

Provided Methods

fn clone_in_with_semantic_ids( &self, allocator: &'new_alloc Allocator, ) -> Self::Cloned

Almost identical as clone_in, but for some special type, it will also clone the semantic ids. Please use this method only if you make sure semantic info is synced with the ast node.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'alloc> CloneIn<'alloc> for bool

type Cloned = bool

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for char

type Cloned = char

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for f32

type Cloned = f32

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for f64

type Cloned = f64

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for i8

type Cloned = i8

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for i16

type Cloned = i16

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for i32

type Cloned = i32

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for i64

type Cloned = i64

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for i128

type Cloned = i128

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for isize

type Cloned = isize

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for u8

type Cloned = u8

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for u16

type Cloned = u16

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for u32

type Cloned = u32

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for u64

type Cloned = u64

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for u128

type Cloned = u128

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc> CloneIn<'alloc> for usize

type Cloned = usize

fn clone_in(&self, _: &'alloc Allocator) -> Self

impl<'alloc, T, C> CloneIn<'alloc> for Option<T>

where T: CloneIn<'alloc, Cloned = C>,

type Cloned = Option<C>

fn clone_in(&self, allocator: &'alloc Allocator) -> Self::Cloned

fn clone_in_with_semantic_ids( &self, allocator: &'alloc Allocator, ) -> Self::Cloned

impl<'alloc, T: Copy> CloneIn<'alloc> for Cell<T>

type Cloned = Cell<T>

fn clone_in(&self, _: &'alloc Allocator) -> Self::Cloned

impl<'new_alloc> CloneIn<'new_alloc> for &str

type Cloned = &'new_alloc str

fn clone_in(&self, allocator: &'new_alloc Allocator) -> Self::Cloned

Implementors

impl<'new_alloc, K, V, CK, CV> CloneIn<'new_alloc> for HashMap<'_, K, V>

where K: CloneIn<'new_alloc, Cloned = CK>, V: CloneIn<'new_alloc, Cloned = CV>, CK: Hash + Eq,

type Cloned = HashMap<'new_alloc, CK, CV>

impl<'new_alloc, T, C> CloneIn<'new_alloc> for Box<'_, [T]>

where T: CloneIn<'new_alloc, Cloned = C>,

type Cloned = Box<'new_alloc, [C]>

impl<'new_alloc, T, C> CloneIn<'new_alloc> for Box<'_, T>

where T: CloneIn<'new_alloc, Cloned = C>,

type Cloned = Box<'new_alloc, C>

impl<'new_alloc, T, C> CloneIn<'new_alloc> for Vec<'_, T>

where T: CloneIn<'new_alloc, Cloned = C>, C: 'new_alloc,

type Cloned = Vec<'new_alloc, C>