### Describe the bug Presently, it emits them just like normal unions, but it should produce proper envelopes and such depending on the options passed to `@discriminated`. ### Reproduction . ### Checklist - [x] Follow our [Code of Conduct](https://github.com/microsoft/typespec/blob/main/CODE_OF_CONDUCT.md) - [x] Check that there isn't already an issue that request the same bug to avoid creating a duplicate. - [x] Check that this is a concrete bug. For Q&A open a [GitHub Discussion](https://github.com/Microsoft/typespec/discussions). - [x] The provided reproduction is a [minimal reproducible example](https://stackoverflow.com/help/minimal-reproducible-example) of the bug.