pub(crate) enum RibKind {
Misc,
Module,
FnInput,
FnOutput,
Variant,
FnTraitInput,
}Variants§
Misc
An rib with no special rules.
Module
A module boundary. This is a barrier for item resolution.
FnInput
A function signature’s inputs (arguments and requires). @ binders are legal here.
FnOutput
A function signature’s output (return type and ensures). # binders are legal here.
Variant
An enum variant. @ binders are legal here. This is a barrier scope because variants
are nested within refined_by params.
FnTraitInput
The input position of an Fn-trait bound (e.g. the T in FnMut(T) -> S). @ binders are
legal here.
Trait Implementations§
impl Copy for RibKind
impl Eq for RibKind
impl StructuralPartialEq for RibKind
Auto Trait Implementations§
impl Freeze for RibKind
impl RefUnwindSafe for RibKind
impl Send for RibKind
impl Sync for RibKind
impl Unpin for RibKind
impl UnwindSafe for RibKind
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. 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