Skip to content

Error message improvements for unions with identical discriminants#42598

Closed
DanielRosenwasser wants to merge 3 commits intomainfrom
errorMessageImprovementsOnDiscriminant
Closed

Error message improvements for unions with identical discriminants#42598
DanielRosenwasser wants to merge 3 commits intomainfrom
errorMessageImprovementsOnDiscriminant

Commits

Commits on Jan 28, 2021

Commits on Feb 2, 2021