pub(crate) struct UnresolvedName {
pub span: Span,
pub kind: &'static str,
pub name: String,
}Expand description
A name that could not be resolved. kind is the user-facing description of what was being
looked for ("type", "value", "sort", …); it is passed explicitly by each call site
because it no longer matches the resolution Namespace
(e.g. sorts are resolved in the type namespace).
Fields§
§span: Span§kind: &'static str§name: StringTrait Implementations§
Auto Trait Implementations§
impl Freeze for UnresolvedName
impl RefUnwindSafe for UnresolvedName
impl Send for UnresolvedName
impl Sync for UnresolvedName
impl Unpin for UnresolvedName
impl UnwindSafe for UnresolvedName
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