Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

That's not a union. Both `{}` and `{ contentA: a, contentB: b }` inhabit that type, so it doesn't represent "a value of type `Message` is either a value of `ContentAStructure` or a value of `ContentBStructure`".


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: