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