Mark arg in range as generated, closes #15037

Author: josevalim

lib/elixir/lib/kernel.ex

@@ -4781,7 +4781,7 @@ defmodule Kernel do
 
   defp in_range_literal(left, first, last, step) when step > 0 do
     quoted =
-      quote do
+      quote generated: true do
         Kernel.and(
           unquote(generated_is_integer(left)),
           unquote(increasing_compare(left, first, last))
@@ -4793,7 +4793,7 @@ defmodule Kernel do
 
   defp in_range_literal(left, first, last, step) when step < 0 do
     quoted =
-      quote do
+      quote generated: true do
         Kernel.and(
           unquote(generated_is_integer(left)),
           unquote(decreasing_compare(left, first, last))

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

@@ -0,0 +1,5 @@
+defmodule Dialyzer.InRange do
+  def string_to_number_in_range(x) do
+    String.to_integer(x) in 1..10
+  end
+end

lib/elixir/test/elixir/kernel/dialyzer_test.exs

@@ -113,6 +113,11 @@ defmodule Kernel.DialyzerTest do
     assert_dialyze_no_warnings!(context)
   end
 
+  test "no warnings on in range", context do
+    copy_beam!(context, Dialyzer.InRange)
+    assert_dialyze_no_warnings!(context)
+  end
+
   test "no warnings on macrocallback", context do
     copy_beam!(context, Dialyzer.Macrocallback)
     copy_beam!(context, Dialyzer.Macrocallback.Impl)