Skip to main content

shape_is_subshape_of

Function shape_is_subshape_of 

Source
pub fn shape_is_subshape_of(
    cx: &mut Cx,
    child: &dyn Shape,
    parent: &dyn Shape,
) -> Result<bool>
Expand description

Decide whether child is a subshape of parent.

The generic walk compares ids and symbols, consults the shape’s own is_subshape_of override, treats the core Any and AnyShape symbols as a top for non-effectful shapes, and otherwise recurses through the declared parents.