pub enum SubFn {
Poly(DefId, EarlyBinder<PolyFnSig>, GenericArgs),
Mono(PolyFnSig),
}
Expand description
SubFn
lets us reuse most of the same code for check_fn_subtyping
for both the case where
we have an early-bound function signature (e.g., for a trait method???) and versions without,
e.g. a plain closure against its FnTraitPredicate obligation.
Variants§
Poly(DefId, EarlyBinder<PolyFnSig>, GenericArgs)
Mono(PolyFnSig)
Implementations§
Trait Implementations§
Auto Trait Implementations§
impl Freeze for SubFn
impl RefUnwindSafe for SubFn
impl Send for SubFn
impl Sync for SubFn
impl Unpin for SubFn
impl UnwindSafe for SubFn
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
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more