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