The type of properties in SdkModelType should be SdkBodyModelPropertyType[] since we could never get an instance of other types inside the array

[ArcturusZhang]

Clear and concise description of the problem

SdkModelPropertyType is a union of "model property" and "operation parameter", but because the property in a model type (in SDK's perspective) could never be a parameter, therefore the type of properties in SdkModelType should be narrow down to SdkBodyModelPropertyType only

typespec-azure/packages/typespec-client-generator-core/src/interfaces.ts

Line 287 in be1e2c3

properties: SdkModelPropertyType[];

Checklist

• Follow our Code of Conduct
• Check that this issue is about the Azure libraries for typespec. For feature request in the typespec language or core libraries file it in the TypeSpec repo
• Read the docs.
• Check that there isn't already an issue that request the same feature to avoid creating a duplicate.

[tadelesh]

@iscai-msft currently, it seems the only place we could not use SdkBodyModelPropertyType is the response type of service method which will mix http header parameter and model property. imo, for service method, the http parameter should also be a model property. for service operation, it definitely should be http parameter since it has protocol concept. but i'm a little bit confused with current logic.