diff --git a/include/fmt/format.h b/include/fmt/format.h
index 52b838f1..d52a6668 100644
--- a/include/fmt/format.h
+++ b/include/fmt/format.h
@@ -4100,6 +4100,11 @@ template <typename Char> class nested_format_specs {
         ctx.out(), basic_string_view<Char>(buf.data(), buf.size()), specs);
   }
 };
+
+template <typename T, typename Enable = void>
+struct has_format_as : std::false_type {};
+template <typename T>
+struct has_format_as<T, void_t<format_as_result<T>>> : std::true_type {};
 }  // namespace detail
 
 FMT_BEGIN_EXPORT
diff --git a/include/fmt/ranges.h b/include/fmt/ranges.h
index d7f66848..19a3e333 100644
--- a/include/fmt/ranges.h
+++ b/include/fmt/ranges.h
@@ -297,21 +297,17 @@ template <typename T, typename C> struct is_tuple_formattable {
   static constexpr bool value = detail::is_tuple_formattable_<T, C>::value;
 };
 
-namespace detail {
-template <typename T, typename C, typename = void>
-struct is_tuple_formattable_for_formatter
-    : std::integral_constant<bool, fmt::is_tuple_formattable<T, C>::value> {};
-
-template <typename T, typename C>
-struct is_tuple_formattable_for_formatter<T, C, void_t<format_as_result<T>>>
-    : std::false_type {};
-}  // namespace detail
-
 template <typename Tuple, typename Char>
-struct formatter<Tuple, Char,
-                 enable_if_t<fmt::is_tuple_like<Tuple>::value &&
-                             detail::is_tuple_formattable_for_formatter<
-                                 Tuple, Char>::value>> {
+struct formatter<
+    Tuple, Char,
+    // format_as takes precedence. conditional_t rather than && because
+    // is_tuple_formattable must not be instantiated for types with format_as:
+    // for self-referential tuple-like types it recurses back into this
+    // specialization.
+    enable_if_t<
+        fmt::is_tuple_like<Tuple>::value &&
+        conditional_t<detail::has_format_as<Tuple>::value, std::false_type,
+                      fmt::is_tuple_formattable<Tuple, Char>>::value>> {
  private:
   decltype(detail::tuple::get_formatters<Tuple, Char>(
       detail::tuple_index_sequence<Tuple>())) formatters_;
diff --git a/include/fmt/std.h b/include/fmt/std.h
index cd1baccc..8a9a94d3 100644
--- a/include/fmt/std.h
+++ b/include/fmt/std.h
@@ -279,12 +279,6 @@ struct is_bit_reference_like<std::__bit_const_reference<C>> {
 };
 #endif
 
-template <typename T, typename Enable = void>
-struct has_format_as : std::false_type {};
-template <typename T>
-struct has_format_as<T, void_t<decltype(format_as(std::declval<const T&>()))>>
-    : std::true_type {};
-
 template <typename T, typename Enable = void>
 struct has_format_as_member : std::false_type {};
 template <typename T>