Closed Unassigned: Dafny infinite loop when using /ironDafny, nativeType, and import [134]

When I run Dafny on the following file with the "/ironDafny" command-line argument, it never terminates:

module NativeTypes {
newtype{:nativeType "ushort"} uint16 = i:int | 0 <= i < 0x10000
}

abstract module AbstractModuleA
{
import opened NativeTypes
datatype T = T(i:uint16)
}

abstract module AbstractModuleB
{
import opened A as AbstractModuleA
}

abstract module AbstractModuleC
{
import opened B as AbstractModuleB
}