Struct TypePredicate 

pub struct TypePredicate {
    pub asserts: bool,
    pub parameter_name: EntityName,
    pub type_node: Option<Box<Ty>>,
}

Fields

asserts: bool

parameter_name: EntityName

type_node: Option<Box<Ty>>

Trait Implementations

impl Clone for TypePredicate

fn clone(&self) -> TypePredicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypePredicate

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

Formats the value using the given formatter.

impl Eq for TypePredicate

impl PartialEq for TypePredicate

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypePredicate