Alias %__MODULE__ breaks submodules

[turion]

I have two files:

defmodule Foo.Bar do
  alias __MODULE__

  @type t :: %Bar.Baz{}
end

defmodule Foo.Bar.Baz do
  defstruct []
end

mix compile works, but mix type doesn't:

$ mix type
Compiling 1 file (.ex)
** (CompileError) lib/foo/bar.ex:4: ExType.Module.Foo.Bar.Baz.__struct__/0 is undefined, cannot expand struct ExType.Module.Foo.Bar.Baz. Make sure the struct name is correct. If the struct name exists and is correct but it still cannot be found, you likely have cyclic module usage in your code
    (elixir 1.10.4) lib/kernel/typespec.ex:549: Kernel.Typespec.typespec/4
    (elixir 1.10.4) lib/kernel/typespec.ex:294: Kernel.Typespec.translate_type/2
    (stdlib 3.12) lists.erl:1354: :lists.mapfoldl/3
    (elixir 1.10.4) lib/kernel/typespec.ex:228: Kernel.Typespec.translate_typespecs_for_module/2
    (elixir 1.10.4) src/elixir_erl_compiler.erl:12: anonymous fn/3 in :elixir_erl_compiler.spawn/2

It seems like mix compile creates the modules in a cleverer order.

More context

When we put both modules in one file, some variants work and others don't:

Doesn't work

defmodule Foo.Bar do
  alias Foo.Bar # Also with __MODULE__

  @type t :: %Bar.Baz{}
end

defmodule Foo.Bar.Baz do
  defstruct []
end

Works

defmodule Foo.Bar.Baz do
  defstruct []
end

defmodule Foo.Bar do
  alias Foo.Bar # Also with __MODULE__

  @type t :: %Bar.Baz{}
end

defmodule Foo.Bar do
  defmodule Baz do
    defstruct []
  end

  alias __MODULE__

  @type t :: %Bar.Baz{}
end

defmodule Foo.Bar do
  alias __MODULE__

  defmodule Baz do
    defstruct []
  end

  @type t :: %Bar.Baz{}
end

defmodule Foo.Bar do
  alias __MODULE__

  @type t :: %Bar.Baz{}

  defmodule Baz do
    defstruct []
  end
end

[turion]

An acceptable workaround might be manually expanding __MODULE__.