Fix bitstring type recognition by no longer hiding named types from t…

…ypespecs.

lib/type_check/internals/to_typespec.ex

@@ -37,9 +37,9 @@ defmodule TypeCheck.Internals.ToTypespec do
           ast
         end
 
-      {:"::", _, [_name, type_ast]} ->
-        # Hide inner named types from the typespec.
-        type_ast
+      # {:"::", _, [_name, type_ast]} ->
+      #   # Hide inner named types from the typespec.
+      #   type_ast
 
       ast = {:named_type, _, [_name, type_ast]} ->
         if {:named_type, 2} in builtin_imports do
@@ -136,10 +136,6 @@ defmodule TypeCheck.Internals.ToTypespec do
         end
 
       # Relax these types that Elixir's builtin typespecs does not accept
-      binary when is_binary(binary) ->
-        quote generated: true, location: :keep do
-          binary()
-        end
       float when is_float(float) ->
         quote generated: true, location: :keep do
           float()

test/type_check/builtin/sized_binary_test.exs

@@ -57,4 +57,18 @@ defmodule TypeCheck.Builtin.SizedBitstringTest do
       end
     end
   end
+
+  test "Bitstring syntax is expanded correctly" do
+    defmodule BitstringExample do
+      use TypeCheck
+
+      @type! empty :: <<>>
+      @type! prefix_sized :: <<_ :: 10>>
+      @type! unit_sized :: << _ :: _ * 13 >>
+      @type! both_sized :: << _ :: 11, _ :: _ * 15 >>
+    end
+
+    assert [both_sized: 0, empty: 0, prefix_sized: 0, unit_sized: 0] =
+      BitstringExample.__type_check__(:types) |> Enum.sort()
+  end
 end