fn create_mono_items_for_default_impls<'tcx>(
    tcx: TyCtxt<'tcx>,
    item: ItemId,
    output: &mut Vec<Spanned<MonoItem<'tcx>>>
)