Struct stable_mir::ty::TraitDecl

source ·

pub struct TraitDecl {
    pub def_id: TraitDef,
    pub safety: Safety,
    pub paren_sugar: bool,
    pub has_auto_impl: bool,
    pub is_marker: bool,
    pub is_coinductive: bool,
    pub skip_array_during_method_dispatch: bool,
    pub skip_boxed_slice_during_method_dispatch: bool,
    pub specialization_kind: TraitSpecializationKind,
    pub must_implement_one_of: Option<Vec<Opaque>>,
    pub implement_via_object: bool,
    pub deny_explicit_impl: bool,
}

Fields§

§def_id: TraitDef§safety: Safety§paren_sugar: bool§has_auto_impl: bool§is_marker: bool§is_coinductive: bool§skip_array_during_method_dispatch: bool§skip_boxed_slice_during_method_dispatch: bool§specialization_kind: TraitSpecializationKind§must_implement_one_of: Option<Vec<Opaque>>§implement_via_object: bool§deny_explicit_impl: bool

Struct stable_mir::ty::TraitDeclCopy item path

Fields§

Implementations§

impl TraitDecl

pub fn generics_of(&self) -> Generics

pub fn predicates_of(&self) -> GenericPredicates

pub fn explicit_predicates_of(&self) -> GenericPredicates

Trait Implementations§

impl Clone for TraitDecl

fn clone(&self) -> TraitDecl

fn clone_from(&mut self, source: &Self)

impl Debug for TraitDecl

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl PartialEq for TraitDecl

fn eq(&self, other: &TraitDecl) -> bool

fn ne(&self, other: &Rhs) -> bool

impl Serialize for TraitDecl

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl Eq for TraitDecl

impl StructuralPartialEq for TraitDecl

Auto Trait Implementations§

impl Freeze for TraitDecl

impl RefUnwindSafe for TraitDecl

impl Send for TraitDecl

impl Sync for TraitDecl

impl Unpin for TraitDecl

impl UnwindSafe for TraitDecl

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut T)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Layout§

Struct stable_mir::ty::TraitDecl

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,