Skip to content

fix: Output checked type in getSelectionTypeOrKind if none is synthed#1062

Merged
dhess merged 1 commit intomainfrom georgefst/get-type-chkedJun 8, 2023

Commits

Commits on Jun 8, 2023