Trait ErasableGeneric 

pub unsafe trait ErasableGeneric {
    type Repr: 'static;
}

Private marker trait for erasable generics - types with this trait have the same repr for all generic param values, and can therefore be transmuted on the singular Repr type representation on ABI boundaries.

Safety

This type must only be implemented on types known to be repr equivalent to their Repr type.

Required Associated Types

type Repr: 'static

The singular concrete type that all generic variants can be transmuted on

Implementations on Foreign Types

impl ErasableGeneric for &str

type Repr = &'static str

impl ErasableGeneric for bool

type Repr = bool

impl ErasableGeneric for char

type Repr = char

impl ErasableGeneric for f32

type Repr = f32

impl ErasableGeneric for i8

type Repr = i8

impl ErasableGeneric for i16

type Repr = i16

impl ErasableGeneric for i32

type Repr = i32

impl ErasableGeneric for isize

type Repr = isize

impl ErasableGeneric for u8

type Repr = u8

impl ErasableGeneric for u16

type Repr = u16

impl ErasableGeneric for u32

type Repr = u32

impl ErasableGeneric for ()

type Repr = ()

impl ErasableGeneric for usize

type Repr = usize

impl<'a, A, B, C, D, E, F, G, H, R> ErasableGeneric for &'a (dyn Fn(A, B, C, D, E, F, G, H) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, G: ErasableGeneric, H: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr, <G as ErasableGeneric>::Repr, <H as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, E, F, G, H, R> ErasableGeneric for &'a mut (dyn FnMut(A, B, C, D, E, F, G, H) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, G: ErasableGeneric, H: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr, <G as ErasableGeneric>::Repr, <H as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, E, F, G, R> ErasableGeneric for &'a (dyn Fn(A, B, C, D, E, F, G) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, G: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr, <G as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, E, F, G, R> ErasableGeneric for &'a mut (dyn FnMut(A, B, C, D, E, F, G) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, G: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr, <G as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, E, F, R> ErasableGeneric for &'a (dyn Fn(A, B, C, D, E, F) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, E, F, R> ErasableGeneric for &'a mut (dyn FnMut(A, B, C, D, E, F) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, E, R> ErasableGeneric for &'a (dyn Fn(A, B, C, D, E) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, E, R> ErasableGeneric for &'a mut (dyn FnMut(A, B, C, D, E) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, R> ErasableGeneric for &'a (dyn Fn(A, B, C, D) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, D, R> ErasableGeneric for &'a mut (dyn FnMut(A, B, C, D) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, R> ErasableGeneric for &'a (dyn Fn(A, B, C) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, C, R> ErasableGeneric for &'a mut (dyn FnMut(A, B, C) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, R> ErasableGeneric for &'a (dyn Fn(A, B) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, B, R> ErasableGeneric for &'a mut (dyn FnMut(A, B) -> R + 'a)

where A: ErasableGeneric, B: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, R> ErasableGeneric for &'a (dyn Fn(&A) -> R + 'a)

where A: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, R> ErasableGeneric for &'a (dyn Fn(A) -> R + 'a)

where A: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn Fn(<A as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, R> ErasableGeneric for &'a mut (dyn FnMut(&A) -> R + 'a)

where A: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, A, R> ErasableGeneric for &'a mut (dyn FnMut(A) -> R + 'a)

where A: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static dyn FnMut(<A as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr

impl<'a, R> ErasableGeneric for &'a (dyn Fn() -> R + 'a)

where R: ErasableGeneric,

type Repr = &'static dyn Fn() -> <R as ErasableGeneric>::Repr

impl<'a, R> ErasableGeneric for &'a mut (dyn FnMut() -> R + 'a)

where R: ErasableGeneric,

type Repr = &'static dyn FnMut() -> <R as ErasableGeneric>::Repr

impl<T: ErasableGeneric> ErasableGeneric for &[T]

type Repr = &'static [<T as ErasableGeneric>::Repr]

impl<T: ErasableGeneric> ErasableGeneric for Option<T>

type Repr = Option<<T as ErasableGeneric>::Repr>

impl<T: ErasableGeneric> ErasableGeneric for *const T

type Repr = *const <T as ErasableGeneric>::Repr

impl<T: ErasableGeneric> ErasableGeneric for &T

type Repr = &'static <T as ErasableGeneric>::Repr

impl<T: ErasableGeneric> ErasableGeneric for &mut T

type Repr = &'static mut <T as ErasableGeneric>::Repr

impl<T: ErasableGeneric> ErasableGeneric for Box<[T]>

type Repr = Box<[<T as ErasableGeneric>::Repr]>

impl<T: ErasableGeneric> ErasableGeneric for Vec<T>

type Repr = Vec<<T as ErasableGeneric>::Repr>

impl<T: ErasableGeneric, E: ErasableGeneric> ErasableGeneric for Result<T, E>

type Repr = Result<<T as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr>

Implementors

impl ErasableGeneric for JsError

type Repr = JsValue

impl ErasableGeneric for JsValue

type Repr = JsValue

impl ErasableGeneric for Null

type Repr = JsValue

impl ErasableGeneric for Undefined

type Repr = JsValue

impl<'a, 'b, A, B, C, D, E, F, G, H, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(A, B, C, D, E, F, G, H) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, G: ErasableGeneric, H: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr, <G as ErasableGeneric>::Repr, <H as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, E, F, G, H, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(A, B, C, D, E, F, G, H) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, G: ErasableGeneric, H: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr, <G as ErasableGeneric>::Repr, <H as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, E, F, G, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(A, B, C, D, E, F, G) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, G: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr, <G as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, E, F, G, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(A, B, C, D, E, F, G) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, G: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr, <G as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, E, F, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(A, B, C, D, E, F) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, E, F, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(A, B, C, D, E, F) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, F: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr, <F as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, E, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(A, B, C, D, E) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, E, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(A, B, C, D, E) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, E: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr, <E as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(A, B, C, D) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, D, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(A, B, C, D) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, D: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr, <D as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(A, B, C) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, C, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(A, B, C) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, C: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr, <C as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(A, B) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, B, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(A, B) -> R + 'b>

where A: ErasableGeneric, B: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr, <B as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(&A) -> R + 'b>

where A: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn(A) -> R + 'b>

where A: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn(<A as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(&A) -> R + 'b>

where A: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, A, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut(A) -> R + 'b>

where A: ErasableGeneric, R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut(<A as ErasableGeneric>::Repr) -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, R> ErasableGeneric for ImmediateClosure<'a, dyn Fn() -> R + 'b>

where R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn Fn() -> <R as ErasableGeneric>::Repr>

impl<'a, 'b, R> ErasableGeneric for ImmediateClosure<'a, dyn FnMut() -> R + 'b>

where R: ErasableGeneric,

type Repr = &'static ImmediateClosure<'static, dyn FnMut() -> <R as ErasableGeneric>::Repr>

impl<T> ErasableGeneric for JsOption<T>

type Repr = JsValue

impl<T: ?Sized + WasmClosure> ErasableGeneric for ScopedClosure<'_, T>

type Repr = ScopedClosure<'static, dyn FnMut()>