Consider moving eliding of properties of type never lower

[nguerrera]

1. Should we move the skipping of properties of type never into MetadataInfo.isPayloadProperty?
   2. [Yes] Should we also elide metadata properties (header, query, etc.) of type never?

https://github.com/microsoft/cadl/pull/1127/files#r988024779

EDIT: Or should we go even farther and move this into the core, for example by having the checker drop the properties altogether?

[nguerrera]

I think yes to both.

[daviwil]

Beat me to it :) I think the answer to both is "yes" and "yes", though we can definitely discuss it in a design meeting.

[nguerrera]

OK, I agree. This is ready to discuss and hopefully just a quick approval. :)

[bterlson]

#TeamYesYes

[nguerrera]

Leaving this as design we should also consider if it makes sense to go even lower into the core.

[markcowl]

• Added work item for eliding metadata properties with type never in emitter code
• https://github.com/Azure/cadl-azure/issues/2149
• Update emitters to remove metadata properties with type never #1200

[markcowl]

Moving forward, need a proposal on whether to provide this functionality in helpers, or in the compiler