Struct ra_ap_hir_ty::traits::TraitEnvironment [−][src]
pub struct TraitEnvironment { pub krate: CrateId, pub env: Environment<Interner>, // some fields omitted }
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
env: Environment<Interner>
Implementations
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl RefUnwindSafe for TraitEnvironment
impl Send for TraitEnvironment
impl Sync for TraitEnvironment
impl Unpin for TraitEnvironment
impl UnwindSafe for TraitEnvironment
Blanket Implementations
Mutably borrows from an owned value. Read more
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Cast a value to type U
using CastTo
.
Compare self to key
and return true
if they are equal.
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
impl<T> Any for T where
T: Any,