pub struct Override {
pub target: SemanticTarget,
pub displaced: Option<String>,
}Expand description
A same-context compiler fact that overrides whatever the ladder already
produced for this reference. displaced names the ladder’s own target
when it differs from target – the disagreement this consumer must
preserve as a diagnostic rather than a graph edge.
Fields§
§target: SemanticTargetThe compiler’s own same-context answer.
displaced: Option<String>The ladder’s own target, when it differs from target.
Trait Implementations§
impl Eq for Override
impl StructuralPartialEq for Override
Auto Trait Implementations§
impl Freeze for Override
impl RefUnwindSafe for Override
impl Send for Override
impl Sync for Override
impl Unpin for Override
impl UnsafeUnpin for Override
impl UnwindSafe for Override
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<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