pub struct ConfirmedMembers<'d> {
pub shapes: Vec<(SymbolKey, MemberShape)>,
pub per_body_symbols: Vec<Vec<Symbol<'d>>>,
}Expand description
(Revision, resolving a blocking review finding — Deviation #18.) The
return payload of confirm_and_assign_symbol_keys, split into:
shapes, (SymbolKey, MemberShape) pairs read off canonical’s own
members, in SymbolKey order; and per_body_symbols, the same lockstep
walk’s real sv_lang::Symbol<'d> handles, one Vec per body in
[canonical, others[0], others[1], ..] order, each Vec SymbolKey-
ordered identically to shapes (member i of every body’s Vec is “the
same” logical member, by construction of the lockstep walk).
Fields§
§shapes: Vec<(SymbolKey, MemberShape)>§per_body_symbols: Vec<Vec<Symbol<'d>>>Auto Trait Implementations§
impl<'d> !RefUnwindSafe for ConfirmedMembers<'d>
impl<'d> !UnwindSafe for ConfirmedMembers<'d>
impl<'d> Freeze for ConfirmedMembers<'d>
impl<'d> Send for ConfirmedMembers<'d>
impl<'d> Sync for ConfirmedMembers<'d>
impl<'d> Unpin for ConfirmedMembers<'d>
impl<'d> UnsafeUnpin for ConfirmedMembers<'d>
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