search

smithy-lang / smithy-dafny

Apache License 2.0
10 stars 8 forks source link

smithy-dafny doesn't reject models with operations bound to multiple resource shapes #646

Open robin-aws opened 1 month ago

robin-aws commented 1 month ago

See https://github.com/smithy-lang/smithy-dafny/actions/runs/11409521976/job/31749989210.

robin-aws commented 1 month ago

Actually, the test model that triggered this was invalid in the first place - operations cannot be bound multiple times: https://smithy.io/2.0/spec/service-types.html#service-closure

So the real bug is that Smithy validation allowed the model?