[−][src]Enum rustc_mir::borrow_check::diagnostics::region_name::RegionNameHighlight

pub(crate) enum RegionNameHighlight {
    MatchedHirTy(Span),
    MatchedAdtAndSegment(Span),
    CannotMatchHirTy(Span, String),
    Occluded(Span, String),
}

Describes what to highlight to explain to the user that we're giving an anonymous region a synthesized name, and how to highlight it.

Variants

MatchedHirTy(Span)

The anonymous region corresponds to a reference that was found by traversing the type in the HIR.

MatchedAdtAndSegment(Span)

The anonymous region corresponds to a '_ in the generics list of a struct/enum/union.

CannotMatchHirTy(Span, String)

The anonymous region corresponds to a region where the type annotation is completely missing from the code, e.g. in a closure arguments |x| { ... }, where x is a reference.

Occluded(Span, String)

The anonymous region corresponds to a region where the type annotation is completely missing from the code, and even if we print out the full name of the type, the region name won't be included. This currently occurs for opaque types like impl Future.

Trait Implementations

`impl Clone for RegionNameHighlight`[src]

`pub fn clone(&self) -> RegionNameHighlight`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for RegionNameHighlight`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

Auto Trait Implementations

`impl RefUnwindSafe for RegionNameHighlight`

`impl !Send for RegionNameHighlight`

`impl !Sync for RegionNameHighlight`

`impl Unpin for RegionNameHighlight`

`impl UnwindSafe for RegionNameHighlight`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

[−][src]Enum rustc_mir::borrow_check::diagnostics::region_name::RegionNameHighlight

Variants

Trait Implementations

`impl Clone for RegionNameHighlight`[src]

`pub fn clone(&self) -> RegionNameHighlight`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for RegionNameHighlight`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

Auto Trait Implementations

`impl RefUnwindSafe for RegionNameHighlight`

`impl !Send for RegionNameHighlight`

`impl !Sync for RegionNameHighlight`

`impl Unpin for RegionNameHighlight`

`impl UnwindSafe for RegionNameHighlight`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<T> WithConstness for T`[src]

`pub fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>`[src]

`pub fn with_const(self) -> ConstnessAnd<Self>`[src]

`pub fn without_const(self) -> ConstnessAnd<Self>`[src]

[−][src]Enum rustc_mir::borrow_check::diagnostics::region_name::RegionNameHighlight

Variants

Trait Implementations

impl Clone for RegionNameHighlight[src]

pub fn clone(&self) -> RegionNameHighlight[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for RegionNameHighlight[src]

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result[src]

Auto Trait Implementations

impl RefUnwindSafe for RegionNameHighlight

impl !Send for RegionNameHighlight

impl !Sync for RegionNameHighlight

impl Unpin for RegionNameHighlight

impl UnwindSafe for RegionNameHighlight

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src]

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<T> WithConstness for T[src]

pub fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

pub fn with_const(self) -> ConstnessAnd<Self>[src]

pub fn without_const(self) -> ConstnessAnd<Self>[src]

`impl Clone for RegionNameHighlight`[src]

`pub fn clone(&self) -> RegionNameHighlight`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for RegionNameHighlight`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl RefUnwindSafe for RegionNameHighlight`

`impl !Send for RegionNameHighlight`

`impl !Sync for RegionNameHighlight`

`impl Unpin for RegionNameHighlight`

`impl UnwindSafe for RegionNameHighlight`

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<T> WithConstness for T`[src]

`pub fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>`[src]

`pub fn with_const(self) -> ConstnessAnd<Self>`[src]

`pub fn without_const(self) -> ConstnessAnd<Self>`[src]