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