Struct TraitEnvironment

pub struct TraitEnvironment {
    pub krate: CrateId,
    pub block: Option<BlockId>,
    pub env: Environment<Interner>,
    /* private fields */
}

A set of clauses that we assume to be true. E.g. if we are inside this function:

fn foo<T: Default>(t: T) {}

we assume that T: Default.

Fields

krate: CrateId

block: Option<BlockId>

env: Environment<Interner>

Implementations

impl TraitEnvironment

pub fn empty(krate: CrateId) -> Arc<Self>

pub fn new( krate: CrateId, block: Option<BlockId>, traits_from_clauses: Box<[(Ty, TraitId)]>, env: Environment<Interner>, ) -> Arc<Self>

pub fn with_block(this: &mut Arc<Self>, block: BlockId)

pub fn traits_in_scope_from_clauses( &self, ty: Ty, ) -> impl Iterator<Item = TraitId> + '_

Trait Implementations

impl Clone for TraitEnvironment

fn clone(&self) -> TraitEnvironment

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TraitEnvironment

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

Formats the value using the given formatter.

impl Hash for TraitEnvironment

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TraitEnvironment

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for TraitEnvironment

impl StructuralPartialEq for TraitEnvironment