Typechecking - connect the dots to verify routes?

Questions / Help
1

Erlang OTP 28
Elixir 1.20.0-rc.3 (9b80ab5) (compiled with Erlang/OTP 28)

Current Behavior - warning:

warning: the following clause is redundant:

    def __phoenix_verify_routes__(_module)

it has type:

    term()

previous clauses have already matched on the following types:

    term()

Expected behavior:

I expected it to tell me where the warning originated. I don’t have any idea how to address (if possible) without some information as to the source code being identified. I should note that this function appears nowhere in my project.

1 Like
2

Never mind. After I resolved all of the rest of my type checked errors (thanks so so much for set-theoretic type checking!), I went exploring and determined that I had used multiple references to Phoenix.VerifiedRoutes in a couple modules. Apparently this triggers the redundant warning (which is correct) but in this case was hard to find, since the clause was not in my code.

1 Like
3

Yup! We will make sure it raises when trying to use it twice!