Struct ra_ap_hir_ty::traits::TraitEnvironment
source · [−]pub struct TraitEnvironment {
pub krate: CrateId,
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
env: Environment<Interner>
Implementations
Trait Implementations
sourceimpl Clone for TraitEnvironment
impl Clone for TraitEnvironment
sourcefn clone(&self) -> TraitEnvironment
fn clone(&self) -> TraitEnvironment
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for TraitEnvironment
impl Debug for TraitEnvironment
sourceimpl Hash for TraitEnvironment
impl Hash for TraitEnvironment
sourceimpl PartialEq<TraitEnvironment> for TraitEnvironment
impl PartialEq<TraitEnvironment> for TraitEnvironment
sourcefn 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 ==
. Read more
sourcefn ne(&self, other: &TraitEnvironment) -> bool
fn ne(&self, other: &TraitEnvironment) -> bool
This method tests for !=
.
impl Eq for TraitEnvironment
impl StructuralEq for TraitEnvironment
impl StructuralPartialEq for TraitEnvironment
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
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Cast for T
impl<T> Cast for T
sourcefn 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
.
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcefn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to key
and return true
if they are equal.
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more