Enum rustc_typeck::middle::ty::RepresentabilityExperimental [-]  [+] [src]

pub enum Representability {
    Representable,
    ContainsRecursive,
    SelfRecursive,
}

Describes whether a type is representable. For types that are not representable, 'SelfRecursive' and 'ContainsRecursive' are used to distinguish between types that are recursive with themselves and types that contain a different recursive type. These cases can therefore be treated differently when reporting errors.

The ordering of the cases is significant. They are sorted so that cmp::max will keep the "more erroneous" of two values.

Variants

Representable
ContainsRecursive
SelfRecursive

Trait Implementations

Derived Implementations

impl Show for Representability

fn fmt(&self, __arg_0: &mut Formatter) -> Result<(), Error>

impl PartialEq<Representability> for Representability

fn eq(&self, __arg_0: &Representability) -> bool

fn ne(&self, __arg_0: &Representability) -> bool

fn ne(&self, &Representability) -> bool

impl Eq for Representability

fn assert_receiver_is_total_eq(&self)

impl Ord for Representability

fn cmp(&self, __arg_0: &Representability) -> Ordering

impl PartialOrd<Representability> for Representability

fn partial_cmp(&self, __arg_0: &Representability) -> Option<Ordering>

fn lt(&self, __arg_0: &Representability) -> bool

fn le(&self, __arg_0: &Representability) -> bool

fn gt(&self, __arg_0: &Representability) -> bool

fn ge(&self, __arg_0: &Representability) -> bool

fn lt(&self, &Representability) -> bool

fn le(&self, &Representability) -> bool

fn gt(&self, &Representability) -> bool

fn ge(&self, &Representability) -> bool

impl Copy for Representability