Make subtyping in uncurried mode work past type definitions.#6086
Merged
cristianoc merged 1 commit intomasterfrom Mar 20, 2023
Merged
Make subtyping in uncurried mode work past type definitions.#6086cristianoc merged 1 commit intomasterfrom
cristianoc merged 1 commit intomasterfrom
