Closed davidweichiang closed 1 year ago
This is trying to get at the root of the same problem that #86 is trying to fix, which is that externs aren't monomorphized, so they still have type parameters during stages that assume there are no type parameters.
Closes #88.
I'm going to go ahead and merge this one while closing #86.
This is trying to get at the root of the same problem that #86 is trying to fix, which is that externs aren't monomorphized, so they still have type parameters during stages that assume there are no type parameters.