Mark negation inside refute as generated, closes #13992

Author: josevalim

lib/elixir/test/elixir/fixtures/dialyzer/assertions.ex

@@ -21,6 +21,10 @@ defmodule Dialyzer.Assertions do
     refute unknown_type_falsy()
   end
 
+  def refute_with_operator(log) do
+    refute log == "failure"
+  end
+
   defp known_type_truthy, do: :ok
   defp known_type_falsy, do: nil
 

lib/ex_unit/lib/ex_unit/assertions.ex

@@ -229,7 +229,7 @@ defmodule ExUnit.Assertions do
 
   defmacro refute(assertion) do
     if translated = translate_assertion(:refute, assertion, __CALLER__) do
-      {:!, [], [translated]}
+      {:!, [generated: true], [translated]}
     else
       {args, value} = extract_args(assertion, __CALLER__)