Index: source/ps/Future.h
===================================================================
--- source/ps/Future.h
+++ source/ps/Future.h
@@ -318,7 +318,8 @@
 template<typename T>
 PackagedTask<ResultType> Future<ResultType>::Wrap(T&& func)
 {
-	static_assert(std::is_convertible_v<std::invoke_result_t<T>, ResultType>, "The return type of the wrapped function cannot be converted to the type of the Future.");
+	static_assert(std::is_same_v<std::invoke_result_t<T>, ResultType>,
+		"The return type of the wrapped function is not the same as the type of the Future.");
 	m_SharedState = std::make_shared<SharedState>(std::move(func));
 	return PackagedTask<ResultType>(m_SharedState);
 }
Index: source/ps/tests/test_Future.h
===================================================================
--- source/ps/tests/test_Future.h
+++ source/ps/tests/test_Future.h
@@ -54,14 +54,6 @@
 			TS_ASSERT_EQUALS(future.Get(), 1);
 		}
 
-		// Convertible type.
-		{
-			Future<int> future;
-			std::function<void()> task = future.Wrap([]() -> u8 { return 1; });
-			task();
-			TS_ASSERT_EQUALS(future.Get(), 1);
-		}
-
 		static int destroyed = 0;
 		// No trivial constructor or destructor. Also not copiable.
 		struct NonDef
@@ -80,14 +72,14 @@
 		TS_ASSERT_EQUALS(destroyed, 0);
 		{
 			Future<NonDef> future;
-			std::function<void()> task = future.Wrap([]() { return 1; });
+			std::function<void()> task = future.Wrap([]() { return NonDef{1}; });
 			task();
 			TS_ASSERT_EQUALS(future.Get().value, 1);
 		}
 		TS_ASSERT_EQUALS(destroyed, 1);
 		{
 			Future<NonDef> future;
-			std::function<void()> task = future.Wrap([]() { return 1; });
+			std::function<void()> task = future.Wrap([]() { return NonDef{1}; });
 		}
 		TS_ASSERT_EQUALS(destroyed, 1);
 		/**