Struct stc_ts_types::Predicate

pub struct Predicate {
    pub span: Span,
    pub param_name: RTsThisTypeOrIdent,
    pub asserts: bool,
    pub ty: Option<Box<Type>>,
    pub metadata: PredicateMetadata,
    pub tracker: Tracker<"Predicate">,
}

Fields

span: Span

param_name: RTsThisTypeOrIdent

asserts: bool

ty: Option<Box<Type>>

metadata: PredicateMetadata

tracker: Tracker<"Predicate">

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Predicate

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Predicate

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl EqIgnoreSpan for Predicate

fn eq_ignore_span(&self, other: &Self) -> bool

impl<V> FoldWith<V> for Predicatewhere
    V: ?Sized,

fn fold_children_with(self, _visitor: &mut V) -> Self

fn fold_with(self, visitor: &mut V) -> Selfwhere
    V: Fold<Self>,

impl From<Predicate> for RTsType

fn from(t: Predicate) -> Self

Converts to this type from the input type.

impl From<Predicate> for Type

fn from(v: Predicate) -> Self

Converts to this type from the input type.

impl PartialEq<Predicate> for Predicate

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Predicate

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

Serialize this value into the given Serde serializer.

impl Spanned for Predicate

fn span(&self) -> Span

Get span of self.

fn span_lo(&self) -> BytePos

fn span_hi(&self) -> BytePos

impl TypeEq for Predicate

fn type_eq(&self, other: &Self) -> bool

Note: This method should return true for non-type values.

impl<V> VisitMutWith<V> for Predicatewhere
    V: ?Sized,

fn visit_mut_children_with(&mut self, _visitor: &mut V)

fn visit_mut_with(&mut self, visitor: &mut V)where
    V: VisitMut<Self>,

impl<V> VisitWith<V> for Predicatewhere
    V: ?Sized,

fn visit_children_with(&self, _visitor: &mut V)

fn visit_with(&self, visitor: &mut V)where
    V: Visit<Self>,

impl StructuralPartialEq for Predicate

impl Visitable for Predicate