Struct chalk_solve::rust_ir::TraitFlags

pub struct TraitFlags {
    pub auto: bool,
    pub marker: bool,
    pub upstream: bool,
    pub fundamental: bool,
    pub non_enumerable: bool,
    pub coinductive: bool,
}

Fields

auto: bool

An “auto trait” is one that is “automatically implemented” for every struct, so long as no explicit impl is given.

Examples are Send and Sync.

marker: bool

upstream: bool

Indicate that a trait is defined upstream (in a dependency), used during coherence checking.

fundamental: bool

A fundamental trait is a trait where adding an impl for an existing type is considered a breaking change. Examples of fundamental traits are the closure traits like Fn and FnMut.

As of this writing (2020-03-27), fundamental traits are declared by the unstable #[fundamental] attribute in rustc, and hence cannot appear outside of the standard library.

non_enumerable: bool

Indicates that chalk cannot list all of the implementations of the given trait, likely because it is a publicly exported trait in a library.

Currently (2020-03-27) rustc and rust-analyzer mark all traits as non_enumerable, and in the future it may become the only option.

coinductive: bool

Trait Implementations

impl Clone for TraitFlags

fn clone(&self) -> TraitFlags

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TraitFlags

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

Formats the value using the given formatter.

impl Hash for TraitFlags

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<TraitFlags> for TraitFlags

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

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

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

This method tests for !=.

impl<I: Interner> Visit<I> for TraitFlags

fn visit_with<'i, B>(
    &self,
    _visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
    _outer_binder: DebruijnIndex
) -> ControlFlow<B> where
    I: 'i, 

Apply the given visitor visitor to self; binders is the number of binders that are in scope when beginning the visitor. Typically binders starts as 0, but is adjusted when we encounter Binders<T> in the IR or other similar constructs.

impl Eq for TraitFlags

impl StructuralEq for TraitFlags

impl StructuralPartialEq for TraitFlags