Properly handle tags inside typespec in Erlang docs, closes #10430

Author: josevalim

lib/elixir/lib/io/ansi/docs.ex

@@ -231,9 +231,13 @@ defmodule IO.ANSI.Docs do
       types =
         for {:li, _, lines} <- entries,
             line <- lines,
-            do: ["#{indent}    ", line, ?\n]
+            do: ["#{indent}    ", traverse_erlang_html(line, indent <> "    ", options), ?\n]
 
-      ["#{indent}Typespecs:\n\n", types, ?\n]
+      if types != [] do
+        ["#{indent}Typespecs:\n\n", types, ?\n]
+      else
+        []
+      end
     else
       for {:li, _, lines} <- entries do
         ["#{indent}  ", @bullet_text | handle_erlang_html_text(lines, indent <> "    ", options)]

lib/elixir/lib/regex.ex

@@ -280,7 +280,7 @@ defmodule Regex do
   Returns `true` if the given `term` is a regex.
   Otherwise returns `false`.
   """
-  # TODO: Remove this on Elixir v1.15
+  # TODO: deprecate permanently on Elixir v1.15
   @doc deprecated: "Use Kernel.is_struct/2 or pattern match on %Regex{} instead"
   def regex?(term)
   def regex?(%Regex{}), do: true

lib/elixir/test/elixir/io/ansi/docs_test.exs

@@ -727,6 +727,8 @@ defmodule IO.ANSI.DocsTest do
     end
 
     test "typespecs" do
+      assert format_erlang([{:ul, [class: "types"], [{:li, [], []}]}]) == ""
+
       assert format_erlang([{:ul, [class: "types"], [{:li, [], ["Hello"]}, {:li, [], ["World"]}]}]) ==
                """
                Typespecs:
@@ -735,6 +737,17 @@ defmodule IO.ANSI.DocsTest do
                    World
 
                """
+
+      assert format_erlang([
+               {:ul, [class: "types"], [{:li, [], ["Hello", {:code, [], ["World"]}]}]}
+             ]) ==
+               """
+               Typespecs:
+
+                   Hello
+                   \e[36mWorld\e[0m
+
+               """
     end
 
     test "extra markup" do