fn expand_simple_derive_with_parsed(
invoc_span: Span,
info: BasicAdtInfo,
trait_path: TopSubtree,
make_trait_body: impl FnOnce(&BasicAdtInfo) -> TopSubtree,
constrain_to_trait: bool,
extra_impl_params: TopSubtree,
) -> TopSubtree