fn extract_def_id_from_arg<'tcx>( tcx: TyCtxt<'tcx>, generics: &'tcx Generics, arg: GenericArg<'tcx>, ) -> DefId