Set-theoretic types and compile-time types

Questions & Help Questions
1

Hi :wave:,

I upgraded to Elixir 1.18.0, and started getting type-checking warnings in the following module:

defmodule TestModule do
  @env Mix.env()

  def prod?() do
   @env == :prod
  end 
end

Because the types don’t match:

dynamic(:dev) == :prod

What’s a recommended way to tackle this scenario with the new set-theoretic types system in Elixir?