Compiler: Re-exporting types causes types not to match

[spotandjake]

test.gr

module Main

include "./test1"

from Test1 use *
print(A)
print(Test1.runTest() == A)

test1.gr

module Test1

include "./test2"

from Test2 use { type Test }

provide { type Test }
provide let runTest = Test2.runTest

test2.gr

/* grainc-flags --no-pervasives */
module Test2

provide enum Test {
  A,
  B,
  C,
}

provide let runTest = () => A

When you run this it gives the error shown in the image below

It loosk as though when you re-export the type it belongs to the module you are re-exporting from where as the intial type belongs to the module the function it exists in and they no longer match.

[spotandjake]

This is a duplicate of #1758