fn collect_const_value<'tcx>( tcx: TyCtxt<'tcx>, value: ConstValue<'tcx>, output: &mut Vec<Spanned<MonoItem<'tcx>>>, )