     assert module.__impl__(:for) == ImplStruct
     assert module.__impl__(:target) == WithAny.Any
     assert module.__impl__(:protocol) == WithAny
-    assert module.__info__(:attributes)[:protocol_impl] ==
-           [protocol: WithAny, for: ImplStruct]
+    assert module.__info__(:attributes)[:protocol_impl] == [protocol: WithAny, for: ImplStruct]
   end
 
   test "defimpl with explicit derive" do


  test "consolidation keeps docs" do
    docs = Code.get_docs(Sample, :docs)
    assert {{:ok, 1}, _, :def, [{:term, _, nil}], "Ok"} =
           List.keyfind(docs, {:ok, 1}, 0)
  end

  test "consolidation keeps source" do

  end

  test "protocol defines callbacks" do
    assert [{:type, 12, :fun, args}] = get_callbacks(@sample_binary, :ok, 1)
    assert args == [{:type, 12, :product, [{:user_type, 12, :t, []}]}, {:type, 12, :boolean, []}]

    assert [{:type, 22, :fun, args}] = get_callbacks(@with_any_binary, :ok, 1)
    assert args == [{:type, 22, :product, [{:user_type, 22, :t, []}]}, {:type, 22, :term, []}]
  end

  test "protocol defines functions and attributes" do
