pub enum ImplTraitLoweringMode {
Opaque,
Param,
Variable,
Disallowed,
}
Variants
Opaque
impl Trait
gets lowered into an opaque type that doesn’t unify with
anything except itself. This is used in places where values flow ‘out’,
i.e. for arguments of the function we’re currently checking, and return
types of functions we’re calling.
Param
impl Trait
gets lowered into a type variable. Used for argument
position impl Trait when inside the respective function, since it allows
us to support that without Chalk.
Variable
impl Trait
gets lowered into a variable that can unify with some
type. This is used in places where values flow ‘in’, i.e. for arguments
of functions we’re calling, and the return type of the function we’re
currently checking.
Disallowed
impl Trait
is disallowed and will be an error.
Trait Implementations
sourceimpl Clone for ImplTraitLoweringMode
impl Clone for ImplTraitLoweringMode
sourcefn clone(&self) -> ImplTraitLoweringMode
fn clone(&self) -> ImplTraitLoweringMode
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 ImplTraitLoweringMode
impl Debug for ImplTraitLoweringMode
impl Copy for ImplTraitLoweringMode
impl Eq for ImplTraitLoweringMode
impl StructuralEq for ImplTraitLoweringMode
impl StructuralPartialEq for ImplTraitLoweringMode
Auto Trait Implementations
impl RefUnwindSafe for ImplTraitLoweringMode
impl Send for ImplTraitLoweringMode
impl Sync for ImplTraitLoweringMode
impl Unpin for ImplTraitLoweringMode
impl UnwindSafe for ImplTraitLoweringMode
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)
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