Constrain the return type from transform and transform_dereference

davidstone · davidstone · commit 935fa7389d79 · 2023-11-12T19:31:35.000-10:00
diff --git a/source/containers/algorithms/transform.cpp b/source/containers/algorithms/transform.cpp
@@ -37,11 +37,11 @@ struct range_transform_traits_dereference : transform_traits_dereference<UnaryFu
 template<typename UnaryFunction>
 range_transform_traits_dereference(UnaryFunction) -> range_transform_traits_dereference<UnaryFunction>;
 
-export constexpr auto transform(range auto && source, auto dereference) {
+export constexpr auto transform(range auto && source, auto dereference) -> range auto {
 	return adapt(OPERATORS_FORWARD(source), range_transform_traits(std::move(dereference)));
 }
 
-export constexpr auto transform_dereference(range auto && source, auto dereference) {
+export constexpr auto transform_dereference(range auto && source, auto dereference) -> range auto {
 	return adapt(OPERATORS_FORWARD(source), range_transform_traits_dereference(std::move(dereference)));
 }
 

Original file line number	Diff line number	Diff line change
`@@ -37,11 +37,11 @@ struct range_transform_traits_dereference : transform_traits_dereference<UnaryFu`
`37`	`37`	`template<typename UnaryFunction>`
`38`	`38`	`range_transform_traits_dereference(UnaryFunction) -> range_transform_traits_dereference<UnaryFunction>;`
`39`	`39`
`40`		`-export constexpr auto transform(range auto && source, auto dereference) {`
	`40`	`+export constexpr auto transform(range auto && source, auto dereference) -> range auto {`
`41`	`41`	`return adapt(OPERATORS_FORWARD(source), range_transform_traits(std::move(dereference)));`
`42`	`42`	`}`
`43`	`43`
`44`		`-export constexpr auto transform_dereference(range auto && source, auto dereference) {`
	`44`	`+export constexpr auto transform_dereference(range auto && source, auto dereference) -> range auto {`
`45`	`45`	`return adapt(OPERATORS_FORWARD(source), range_transform_traits_dereference(std::move(dereference)));`
`46`	`46`	`}`
`47`	`47`