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§
source§impl Clone for ImplTraitLoweringMode
impl Clone for ImplTraitLoweringMode
source§fn clone(&self) -> ImplTraitLoweringMode
fn clone(&self) -> ImplTraitLoweringMode
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 ImplTraitLoweringMode
impl Debug for ImplTraitLoweringMode
source§impl PartialEq for ImplTraitLoweringMode
impl PartialEq for ImplTraitLoweringMode
source§fn eq(&self, other: &ImplTraitLoweringMode) -> bool
fn eq(&self, other: &ImplTraitLoweringMode) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Copy for ImplTraitLoweringMode
impl Eq for ImplTraitLoweringMode
impl StructuralPartialEq for ImplTraitLoweringMode
Auto Trait Implementations§
impl Freeze for ImplTraitLoweringMode
impl RefUnwindSafe for ImplTraitLoweringMode
impl Send for ImplTraitLoweringMode
impl Sync for ImplTraitLoweringMode
impl Unpin for ImplTraitLoweringMode
impl UnwindSafe for ImplTraitLoweringMode
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
source§impl<T> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.