fn assert_symbols_are_distinct<'a, 'tcx, I>(tcx: TyCtxt<'tcx>, mono_items: I)where I: Iterator<Item = &'a MonoItem<'tcx>>, 'tcx: 'a,