pub struct UnresolvedNameWarning {
pub context: String,
pub statement: String,
pub line: usize,
pub col: usize,
pub reads: Vec<NameRead>,
}Expand description
A comprehension statement compiled outside pragma strict that reads
names neither the comprehension binds nor the scope it is read in has
(comprehension_forms.md §5 V3), recorded on the tree’s
CompileLedger. The statement compiles, and each such name reads
None when the comprehension is evaluated. Under pragma strict the
same statement is refused with ValidationError::V3UnresolvedNames.
Fields§
§context: StringThe diagnostic context of the program the statement belongs to.
statement: StringThe statement as written: for <source> for a traversal, or
<name> := for <source> for a producer binding.
line: usizeLine of the statement.
col: usizeColumn of the statement.
reads: Vec<NameRead>Each name nothing binds, with where the comprehension reads it, in tree order.
Trait Implementations§
Source§impl Clone for UnresolvedNameWarning
impl Clone for UnresolvedNameWarning
Source§impl Debug for UnresolvedNameWarning
impl Debug for UnresolvedNameWarning
Source§impl Display for UnresolvedNameWarning
impl Display for UnresolvedNameWarning
impl Eq for UnresolvedNameWarning
Source§impl PartialEq for UnresolvedNameWarning
impl PartialEq for UnresolvedNameWarning
impl StructuralPartialEq for UnresolvedNameWarning
Auto Trait Implementations§
impl Freeze for UnresolvedNameWarning
impl RefUnwindSafe for UnresolvedNameWarning
impl Send for UnresolvedNameWarning
impl Sync for UnresolvedNameWarning
impl Unpin for UnresolvedNameWarning
impl UnsafeUnpin for UnresolvedNameWarning
impl UnwindSafe for UnresolvedNameWarning
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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
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<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<T> ToCompactString for Twhere
T: Display,
impl<T> ToCompactString for Twhere
T: Display,
Source§fn try_to_compact_string(&self) -> Result<CompactString, ToCompactStringError>
fn try_to_compact_string(&self) -> Result<CompactString, ToCompactStringError>
Fallible version of
ToCompactString::to_compact_string() Read moreSource§fn to_compact_string(&self) -> CompactString
fn to_compact_string(&self) -> CompactString
Converts the given value to a
CompactString. Read more