pub enum BorrowKind {
Shared,
Mut,
TwoPhaseMut,
Shallow,
UniqueImmutable,
}
Variants§
Mut
TwoPhaseMut
See https://doc.rust-lang.org/beta/nightly-rustc/rustc_middle/mir/enum.MutBorrowKind.html#variant.TwoPhaseBorrow and https://rustc-dev-guide.rust-lang.org/borrow_check/two_phase_borrows.html
Shallow
Those are typically introduced when using guards in matches, to make sure guards don’t change the variant of an enum value while me match over it.
UniqueImmutable
Data must be immutable but not aliasable. In other words you can’t mutate the data but you
can mutate through it, e.g. if it points to a &mut T
. This is only used in closure
captures, e.g.
ⓘ
let mut z = 3;
let x: &mut isize = &mut z;
let y = || *x += 5;
Here the captured variable can’t be &mut &mut x
since the x
binding is not mutable, yet
we must be able to mutate what it points to.
Implementations§
source§impl BorrowKind
impl BorrowKind
pub fn is_mut(&self) -> bool
pub fn is_two_phase_mut(&self) -> bool
pub fn is_shallow(&self) -> bool
pub fn is_unique_immutable(&self) -> bool
source§impl BorrowKind
impl BorrowKind
source§impl BorrowKind
impl BorrowKind
pub fn as_mut_mut(&mut self) -> Option<()>
pub fn as_two_phase_mut_mut(&mut self) -> Option<()>
pub fn as_shallow_mut(&mut self) -> Option<()>
pub fn as_unique_immutable_mut(&mut self) -> Option<()>
Trait Implementations§
source§impl Clone for BorrowKind
impl Clone for BorrowKind
source§fn clone(&self) -> BorrowKind
fn clone(&self) -> BorrowKind
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 BorrowKind
impl Debug for BorrowKind
source§impl<'de> Deserialize<'de> for BorrowKind
impl<'de> Deserialize<'de> for BorrowKind
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Display for BorrowKind
impl Display for BorrowKind
source§impl PartialEq for BorrowKind
impl PartialEq for BorrowKind
source§impl Serialize for BorrowKind
impl Serialize for BorrowKind
impl Copy for BorrowKind
impl Eq for BorrowKind
impl StructuralPartialEq for BorrowKind
Auto Trait Implementations§
impl Freeze for BorrowKind
impl RefUnwindSafe for BorrowKind
impl Send for BorrowKind
impl Sync for BorrowKind
impl Unpin for BorrowKind
impl UnwindSafe for BorrowKind
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,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§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<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
Compare self to
key
and return true
if they are equal.§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Indentable for Twhere
T: Display,
impl<T> Indentable for Twhere
T: Display,
§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§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more