Btw, I don't think we run any check before `mix deps.compile`, so people will likely be able to call `mix deps.compile` without issues when migrating Elixir versions. Not sure if it is a good or a bad idea.