diff --git a/include/tl/function_ref.hpp b/include/tl/function_ref.hpp
index 4b90dbf..fdd86f5 100644
--- a/include/tl/function_ref.hpp
+++ b/include/tl/function_ref.hpp
@@ -167,8 +167,9 @@ template <class R, class... Args> class function_ref<R(Args...)> {
   ///
   /// \synopsis template <typename F> constexpr function_ref &operator=(F &&f) noexcept;
   template <typename F,
-            detail::fnref::enable_if_t<detail::fnref::is_invocable_r<R, F &&, Args...>::value>
-                * = nullptr>
+            detail::fnref::enable_if_t<
+                !std::is_same<detail::fnref::decay_t<F>, function_ref>::value &&
+                detail::fnref::is_invocable_r<R, F &&, Args...>::value> * = nullptr>
   TL_FUNCTION_REF_11_CONSTEXPR function_ref<R(Args...)> &operator=(F &&f) noexcept {
     obj_ = reinterpret_cast<void *>(std::addressof(f));
     callback_ = [](void *obj, Args... args) {
diff --git a/tests/assignment.cpp b/tests/assignment.cpp
index 9673a6c..9cee22a 100644
--- a/tests/assignment.cpp
+++ b/tests/assignment.cpp
@@ -1,5 +1,6 @@
 #include "catch.hpp"
 #include <tl/function_ref.hpp>
+#include <type_traits>
 
 void f(){}
 struct b {
@@ -18,3 +19,8 @@ TEST_CASE("Assignment", "[assignment]") {
         fr = &b::qux;
     }
 }
+
+using FR = tl::function_ref<void(void)>;
+static_assert(std::is_trivially_assignable<FR, FR&>::value, "");
+static_assert(std::is_trivially_assignable<FR, const FR&>::value, "");
+static_assert(std::is_trivially_assignable<FR, FR&&>::value, "");
diff --git a/tests/constructors.cpp b/tests/constructors.cpp
index 1d0a304..abc89fc 100644
--- a/tests/constructors.cpp
+++ b/tests/constructors.cpp
@@ -1,5 +1,6 @@
 #include "catch.hpp"
 #include <tl/function_ref.hpp>
+#include <type_traits>
 
 void foo(){}
 struct bar {
@@ -16,3 +17,8 @@ TEST_CASE("Constructors", "[constructors]") {
     (void)fr2;
     (void)fr3;
 }
+
+using FR = tl::function_ref<void(void)>;
+static_assert(std::is_trivially_constructible<FR, FR&>::value, "");
+static_assert(std::is_trivially_constructible<FR, const FR&>::value, "");
+static_assert(std::is_trivially_constructible<FR, FR&&>::value, "");