Function hyper_ast::position::position_accessors::assert_invariants_post

source ·

pub fn assert_invariants_post<'store, IdN, P, HAST>(p: &P, store: &'store HAST)where
    IdN: Eq + Hash + Debug + Clone + NodeId,
    P: WithPostOrderPath<IdN> + SolvedPosition<IdN>,
    HAST: HyperAST<'store, IdN = IdN::IdN, Idx = P::Idx>,
    <IdN as NodeId>::IdN: PartialEq<<<IdN as NodeId>::IdN as NodeId>::IdN> + Debug,
    <<IdN as NodeId>::IdN as NodeId>::IdN: Debug,

Expand description

p should only return each node once
resolved children should correspond