Struct hir_ty::traits::TraitEnvironment
source · pub struct TraitEnvironment {
pub krate: CrateId,
pub block: Option<BlockId>,
pub env: Environment<Interner>,
/* private fields */
}
Expand description
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§
source§impl TraitEnvironment
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§
source§impl Clone for TraitEnvironment
impl Clone for TraitEnvironment
source§fn clone(&self) -> TraitEnvironment
fn clone(&self) -> TraitEnvironment
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for TraitEnvironment
impl Debug for TraitEnvironment
source§impl Hash for TraitEnvironment
impl Hash for TraitEnvironment
source§impl PartialEq for TraitEnvironment
impl PartialEq for TraitEnvironment
source§fn eq(&self, other: &TraitEnvironment) -> bool
fn eq(&self, other: &TraitEnvironment) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for TraitEnvironment
impl StructuralPartialEq for TraitEnvironment
Auto Trait Implementations§
impl Freeze for TraitEnvironment
impl RefUnwindSafe for TraitEnvironment
impl Send for TraitEnvironment
impl Sync for TraitEnvironment
impl Unpin for TraitEnvironment
impl UnwindSafe for TraitEnvironment
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.