From f1f3c30ddc0e957a0165ae197d6c61b0ee9f5cf2 Mon Sep 17 00:00:00 2001
From: Benoit Jacob <jacob.benoit.1@gmail.com>
Date: Sun, 28 Feb 2010 11:10:13 -0500
Subject: [PATCH] remove the hack to make the static assertion on types
 actually show up. indeed, now that we use the meta selector for transposing
 as needed, the static asserts work very well.

---
 Eigen/src/Core/Dot.h | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/Eigen/src/Core/Dot.h b/Eigen/src/Core/Dot.h
index 9acc98eba..fbdc67bd3 100644
--- a/Eigen/src/Core/Dot.h
+++ b/Eigen/src/Core/Dot.h
@@ -29,7 +29,6 @@
 // with mismatched types, the compiler emits errors about failing to instantiate cwiseProduct BEFORE
 // looking at the static assertions. Thus this is a trick to get better compile errors.
 template<typename T, typename U,
-         bool IsSameType = ei_is_same_type<typename T::Scalar, typename U::Scalar>::ret,
 // the NeedToTranspose condition here is taken straight from Assign.h
          bool NeedToTranspose = T::IsVectorAtCompileTime
                 && U::IsVectorAtCompileTime
@@ -47,7 +46,7 @@ struct ei_dot_nocheck
 };
 
 template<typename T, typename U>
-struct ei_dot_nocheck<T, U, true, true>
+struct ei_dot_nocheck<T, U, true>
 {
   static inline typename ei_traits<T>::Scalar run(const MatrixBase<T>& a, const MatrixBase<U>& b)
   {
@@ -55,15 +54,6 @@ struct ei_dot_nocheck<T, U, true, true>
   }
 };
 
-template<typename T, typename U, bool NeedToTranspose>
-struct ei_dot_nocheck<T, U, false, NeedToTranspose>
-{
-  static inline typename ei_traits<T>::Scalar run(const MatrixBase<T>&, const MatrixBase<U>&)
-  {
-    return typename ei_traits<T>::Scalar(0);
-  }
-};
-
 /** \returns the dot product of *this with other.
   *
   * \only_for_vectors