hax_frontend_exporter::rustc_utils

Function inline_macro_invocations

source
pub fn inline_macro_invocations<'t, S: BaseState<'t>, Body: IsBody>(
    ids: impl Iterator<Item = ItemId>,
    s: &S,
) -> Vec<Item<Body>>