pub struct ShapeFixContext<'a> {
pub select: Option<&'a Value>,
pub effects: &'a Value,
pub expect: Option<&'a Value>,
pub parent_of: &'a dyn Fn(&str) -> Option<ParentRow>,
}Expand description
What the shape check needs to spell a fix for the shape errors of §8
(3.4; the reference’s ShapeFixContext): the request as given — select
and expect when present, the effects list (the corrected call is that
request with effects[i] AS WRITTEN rewritten, before any desugaring) —
and the live-row lookup for the one fix that reads the store: parent_of
a block id → its row, or None when no live block has the id (then there
is no fix). The planner’s compile supplies it; a call without it gets the
same errors with no fix.
Fields§
§select: Option<&'a Value>§effects: &'a Value§expect: Option<&'a Value>§parent_of: &'a dyn Fn(&str) -> Option<ParentRow>Auto Trait Implementations§
impl<'a> !RefUnwindSafe for ShapeFixContext<'a>
impl<'a> !Send for ShapeFixContext<'a>
impl<'a> !Sync for ShapeFixContext<'a>
impl<'a> !UnwindSafe for ShapeFixContext<'a>
impl<'a> Freeze for ShapeFixContext<'a>
impl<'a> Unpin for ShapeFixContext<'a>
impl<'a> UnsafeUnpin for ShapeFixContext<'a>
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