pub struct Location {
pub stable_location: StableLocation,
pub notes: Vec<DiagnosticNote>,
pub inline_locations: Vec<StableLocation>,
}
Expand description
The Location struct represents the source location of a lowered object. It is used to store the most relevant source location for a lowering object.
Fields§
§stable_location: StableLocation
The stable location of the object.
notes: Vec<DiagnosticNote>
Additional notes about the origin of the object, for example if the object was auto-generated by the compiler. New notes are appended to the end of the vector.
inline_locations: Vec<StableLocation>
Function call locations where this value was inlined from.
Implementations§
Source§impl Location
impl Location
pub fn new(stable_location: StableLocation) -> Self
Sourcepub fn with_note(self, note: DiagnosticNote) -> Self
pub fn with_note(self, note: DiagnosticNote) -> Self
Creates a new Location with the given note as the last note.
Sourcepub fn maybe_with_note(self, note: Option<DiagnosticNote>) -> Self
pub fn maybe_with_note(self, note: Option<DiagnosticNote>) -> Self
Creates a new Location with the given note as the last note.
Sourcepub fn add_note_with_location(
self,
db: &dyn LoweringGroup,
text: &str,
location: LocationId,
) -> Self
pub fn add_note_with_location( self, db: &dyn LoweringGroup, text: &str, location: LocationId, ) -> Self
Creates a new Location with a note from the given text and location.
Trait Implementations§
Source§impl DebugWithDb<dyn LoweringGroup> for Location
impl DebugWithDb<dyn LoweringGroup> for Location
Source§impl<'a> Intern<'a, dyn LoweringGroup + 'a, LocationId> for Location
impl<'a> Intern<'a, dyn LoweringGroup + 'a, LocationId> for Location
fn intern( self, db: &(impl Upcast<dyn LoweringGroup + 'a> + ?Sized), ) -> LocationId
Source§impl<'a> LookupIntern<'a, dyn LoweringGroup + 'a, Location> for LocationId
impl<'a> LookupIntern<'a, dyn LoweringGroup + 'a, Location> for LocationId
fn lookup_intern( &self, db: &(impl Upcast<dyn LoweringGroup + 'a> + ?Sized), ) -> Location
impl Eq for Location
impl StructuralPartialEq for Location
Auto Trait Implementations§
impl Freeze for Location
impl RefUnwindSafe for Location
impl Send for Location
impl Sync for Location
impl Unpin for Location
impl UnwindSafe for Location
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§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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