From bf17467ce0418e0e9b759899f1af713f2376be1f Mon Sep 17 00:00:00 2001
From: Gael Guennebaud <g.gael@free.fr>
Date: Sun, 24 Aug 2008 16:00:17 +0000
Subject: bugfix in Product and ei_L2_block_traits

---
 test/meta.cpp | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'test/meta.cpp')

diff --git a/test/meta.cpp b/test/meta.cpp
index 21cb522be..c95c58103 100644
--- a/test/meta.cpp
+++ b/test/meta.cpp
@@ -26,6 +26,9 @@
 
 void test_meta()
 {
+  typedef float & FloatRef;
+  typedef const float & ConstFloatRef;
+  
   VERIFY((ei_meta_if<(3<4),ei_meta_true, ei_meta_false>::ret::ret));
   VERIFY(( ei_is_same_type<float,float>::ret));
   VERIFY((!ei_is_same_type<float,double>::ret));
@@ -39,8 +42,13 @@ void test_meta()
   VERIFY(( ei_is_same_type<float,ei_cleantype<float**&>::type >::ret));
   VERIFY(( ei_is_same_type<float,ei_cleantype<float* const *&>::type >::ret));
   VERIFY(( ei_is_same_type<float,ei_cleantype<float* const>::type >::ret));
-  
+
+  VERIFY(( ei_is_same_type<float*,ei_unconst<const float*>::type >::ret));
   VERIFY(( ei_is_same_type<float&,ei_unconst<const float&>::type >::ret));
+  VERIFY(( ei_is_same_type<float&,ei_unconst<const FloatRef>::type >::ret));
+  VERIFY(( ei_is_same_type<float&,ei_unconst<ConstFloatRef>::type >::ret));
+  VERIFY(( ei_is_same_type<float&,ei_unconst<const ConstFloatRef>::type >::ret));
+  
   VERIFY(( ei_is_same_type<float&,ei_unconst<float&>::type >::ret));
   VERIFY(( ei_is_same_type<float,ei_unref<float&>::type >::ret));
   VERIFY(( ei_is_same_type<const float,ei_unref<const float&>::type >::ret));
-- 
cgit v1.2.3