Enum ra_ap_hir_ty::ImplTraitLoweringMode [−][src]
pub enum ImplTraitLoweringMode { Opaque, Param, Variable, Disallowed, }
Variants
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.
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.
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.
impl Trait
is disallowed and will be an error.
Trait Implementations
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
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,