typealias not substituting tvars
samrushing opened this issue · 0 comments
samrushing commented
typealias was not substituting tvars from its scheme.
Fixed in the apply-typealias branch.
samrushing opened this issue · 0 comments
typealias was not substituting tvars from its scheme.
Fixed in the apply-typealias branch.