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