fn show_substructure(
    cx: &mut ExtCtxt<'_>,
    span: Span,
    substr: &Substructure<'_>
) -> BlockOrExpr