[Bug]: Weird behavior for spread model with additional properties

[tadelesh]

Describe the bug

For this spec which is simplified from a service definition here, there is a usage of spread model with additional properties (though i think it should be banned). Also, the http body is composed from both the spread thing and azure core traits thing, then the weird thing happened, the http body parameter type will have a query parameter from the trait, which will not happen is the spread model has no additional properties.

I'm wondering if it is a bug for body resolving. But I think a good solution is not allow to spread model with additional properties.

Reproduction

Compile with the playground or the spec provided.

Checklist

• Follow our Code of Conduct
• Check that there isn't already an issue that request the same bug to avoid creating a duplicate.
• Check that this is a concrete bug. For Q&A open a GitHub Discussion.
• The provided reproduction is a minimal reproducible example of the bug.

[timotheeguerin]

But I think a good solution is not allow to spread model with additional properties.

This is allowed by design, something we explicitly designed a few month ago, i am not sure I see the issue in teh simplified spec, everthing looks correct no?