Use destructuring to clean up InlineFragments::push_all