Avoid flattening arrow to type param, fixing typechecking when reified with another type param.#2692

Merged

jemc merged 1 commit intomasterfrom fix/no-flatten-arrow-typeparam

May 16, 2018

Commits on May 10, 2018

Avoid flattening arrow to type param, fixing typechecking when bound to another type param.
jemc
committed