Rewritten compressed_pair regression script to test everything in a more methodical way

[SVN r10000]

include/boost/type_traits/object_traits.hpp

@@ -311,7 +311,7 @@ private:
    typedef ::boost::detail::empty_helper_chooser<
       ::boost::type_traits::ice_and<
          ::boost::type_traits::ice_not< 
-            ::boost::is_convertible<T,int>::value>::value,
+            ::boost::is_reference<T>::value>::value,
          ::boost::type_traits::ice_not< 
             ::boost::is_convertible<T,double>::value>::value,
          ::boost::type_traits::ice_not< 

include/boost/type_traits/type_traits_test.hpp

@@ -280,8 +280,17 @@ typedef const r_type cr_type;
 # endif // BOOST_MSVC
 
 struct POD_UDT { int x; };
-struct empty_UDT{ ~empty_UDT(){}; };
-struct empty_POD_UDT{};
+struct empty_UDT
+{
+   ~empty_UDT(){};
+   bool operator==(const empty_UDT&)const
+   { return true; }
+};
+struct empty_POD_UDT
+{
+   bool operator==(const empty_POD_UDT&)const
+   { return true; }
+};
 union union_UDT
 {
   int x;

tests/object_type_traits_test.cpp

@@ -203,6 +203,7 @@ int cpp_main(int argc, char* argv[])
 #endif
    soft_value_test(true, boost::is_empty<boost::noncopyable>::value)
    soft_value_test(false, boost::is_empty<non_empty>::value)
+   soft_value_test(false, boost::is_empty<const non_empty&>::value)
 
    return check_result(argc, argv);
 }