Skip to content

Make subtyping in uncurried mode work past type definitions.#6086

Merged
cristianoc merged 1 commit intomasterfrom
subtype_uncurried
Mar 20, 2023

Commits

Commits on Mar 20, 2023