Skip to content

Include star in topTupleType rule.#13621

Merged
vzarytovskii merged 1 commit intodotnet:mainfrom
nojaf:stars-syn-type-tuple
Aug 8, 2022
Merged

Include star in topTupleType rule.#13621
vzarytovskii merged 1 commit intodotnet:mainfrom
nojaf:stars-syn-type-tuple

Commits

Commits on Aug 3, 2022