types::rebind_types の tuple に対する特殊化が抜けていた問題を修正

sprout/tuple/traits.hpp

@@ -5,6 +5,25 @@
 #include <sprout/tuple/tuple.hpp>
 #include <sprout/type/rebind_types.hpp>
 
+namespace sprout {
+	namespace types {
+		//
+		// rebind_types
+		//
+		template<typename... Ts>
+		struct rebind_types<sprout::tuples::tuple<Ts...> > {
+		public:
+			template<typename... Types>
+			struct apply {
+			public:
+				typedef sprout::tuples::tuple<Types...> type;
+			};
+		};
+	}	// namespace types
+
+	using sprout::types::rebind_types;
+}	// namespace sprout
+
 namespace sprout {
 	namespace tuples {
 		//

sprout/type/rebind_types.hpp

@@ -12,6 +12,20 @@ namespace sprout {
 		template<typename Tuple>
 		struct rebind_types;
 
+		template<typename Tuple>
+		struct rebind_types<Tuple const> {
+		public:
+			template<typename... Types>
+			struct apply {
+			public:
+				typedef typename sprout::types::rebind_types<
+					Tuple
+				>::template apply<
+					Types...
+				>::type const type;
+			};
+		};
+
 		template<typename... Ts>
 		struct rebind_types<sprout::types::type_tuple<Ts...> > {
 		public: