Function hyper_ast::position::position_accessors::assert_invariants_post_full

source ·

pub fn assert_invariants_post_full<'store, IdN, P, HAST>(
    p: &P,
    store: &'store HAST
)where
    IdN: Eq + Hash + Debug + Clone + NodeId,
    P: WithFullPostOrderPath<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 corespond