Use type warning instead of typing violation, closes #15065

Author: josevalim

CHANGELOG.md

@@ -146,7 +146,7 @@ The code above has a type violation, which is now caught by the type system:
 
         dynamic(%{..., name: term()})
 
-    typing violation found at:
+    type warning found at:
     │
  16 │     User.name(%{})
     │         ~

lib/elixir/lib/module/types/apply.ex

@@ -1743,7 +1743,7 @@ defmodule Module.Types.Apply do
              but the #{inspect(mod)} protocol was not yet implemented \
              for any type and therefore will always fail.
 
-             This warning will disappear once you define a implementation. \
+             This message will disappear once you define a implementation. \
              If the protocol is part of a library, you may define a dummy \
              implementation for development/test.
              """, ""}

lib/elixir/src/elixir_errors.erl

@@ -184,7 +184,7 @@ format_snippet(Severity, Position, File, Message, Snippet, Diagnostic) ->
 
   unicode:characters_to_binary(Formatted).
 
-format_detail(#{details := #{typing_traces := _}}, Message) -> [Message | "\ntyping violation found at:"];
+format_detail(#{details := #{typing_traces := _}}, Message) -> [Message | "\ntype warning found at:"];
 format_detail(_, Message) -> Message.
 
 calculate_span_length({StartLine, StartCol}, #{span := {StartLine, EndCol}}) -> EndCol - StartCol;

lib/elixir/test/elixir/module/types/integration_test.exs

@@ -335,7 +335,7 @@ defmodule Module.Types.IntegrationTest do
         """,
         "the 1st argument is empty (often represented as none())",
         """
-            typing violation found at:
+            type warning found at:
             │
           2 │   def error(), do: private(raise "oops")
             │                    ~
@@ -348,7 +348,7 @@ defmodule Module.Types.IntegrationTest do
                 private(List.to_tuple(x))
         """,
         """
-            typing violation found at:
+            type warning found at:
             │
           3 │   def public(x), do: private(List.to_tuple(x))
             │                      ~
@@ -489,7 +489,7 @@ defmodule Module.Types.IntegrationTest do
 
             hint: defimpl for Range requires its callbacks to match exclusively on %Range{}
 
-            typing violation found at:
+            type warning found at:
             │
           6 │   def itself(nil), do: nil
             │   ~~~~~~~~~~~~~~~~~~~~~~~~
@@ -530,9 +530,9 @@ defmodule Module.Types.IntegrationTest do
 
             but the NoImplProtocol protocol was not yet implemented for any type and therefore will always fail.
 
-            This warning will disappear once you define a implementation. If the protocol is part of a library, you may define a dummy implementation for development/test.
+            This message will disappear once you define a implementation. If the protocol is part of a library, you may define a dummy implementation for development/test.
 
-            typing violation found at:
+            type warning found at:
             │
           3 │     NoImplProtocol.callback(:hello)
             │                    ~
@@ -714,7 +714,7 @@ defmodule Module.Types.IntegrationTest do
 
                 :ok
 
-            typing violation found at:
+            type warning found at:
             │
           2 │   def ok(x = :ok \\ nil) do
             │                  ~